A Real-Time Animator for Hybrid Systems. - Tobias Amnell; Alexandre David; Wang Yi 001 (LCTES, 2000)

UPPAAL - Now, Next, and Future. - Tobias Amnell; Gerd Behrmann; Johan Bengtsson; Pedro R. D'Argenio; Alexandre David; Ansgar Fehnker; Thomas Hune; Bertrand Jeannet; Kim Guldstrand Larsen; M. Oliver Möller; Paul Pettersson; Carsten Weise; et al. (MOVEP, 2000)

TIMES - A Tool for Modelling and Implementation of Embedded Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (TACAS, 2002)

Code Synthesis for Timed Automata. - Tobias Amnell; Elena Fersman; Paul Pettersson; Hongyan Sun; Wang Yi 001 (Nord. J. Comput., 2002)

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (FORMATS, 2003)