I. Ho;J.-C. Lin
-;-
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems