Steven J. Cunning;Jerzy W. Rozenblit
-;-
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems