A.: Automated test generation from timed automata. (2003)

by B Nielsen, Skou
Venue:International Journal on Software Tools for Technology Transfer (STTT)