chp-3A10.1007-2F978-3-642-05031-2_1
Model-based Testing of Hybrid Systems Michiel van Osch IPA Spring Days on Testing 19 April – 21 April 2006.