Up a level |
Brandán Briones, Laura and Röhl, Mathias (2005) Test Derivation from Timed Automata. In: Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science, 3472 . Springer-Verlag Berlin Heidelberg, pp. 201-231. ISBN 978-3-540-26278-7 (print) 978-3-540-32037-1 (online).