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 Wang Yi 0001 UPPAAL - Now, Next, and Future. 99-124 2000 conf/movep/2000 MOVEP http://dx.doi.org/10.1007/3-540-45510-8_4 db/conf/movep/movep2000.html#AmnellBBDDFHJLMPWY00