Gabor Hahn Jan Philipps Alexander Pretschner Thomas Stauner Prototype-Based Tests for Hybrid Reactive Systems. 78- 2003 conf/rsp/2003 IEEE International Workshop on Rapid System Prototyping http://csdl.computer.org/comp/proceedings/rsp/2003/1943/00/19430078abs.htm db/conf/rsp/rsp2003.html#HahnPPS03