@InProceedings{movep2k, author = {Tobias Amnell and Gerd Behrmann and Johan Bengtsson and Pedro R. D'Argenio and Alexandre David and Ansgar Fehnker and Thomas Hune and Bertrand Jeannet and Kim G. Larsen and M. Oliver M{\"o}ller and Paul Pettersson and Carsten Weise and Wang Yi}, title = {{{\sc Uppaal} - {N}ow, {N}ext, and {F}uture}}, booktitle = {Modelling and Verification of Parallel Processes}, pages = {100-125}, year = {2001}, editor = {F. Cassez and C. Jard and B. Rozoy and M. Ryan}, number = {2067}, series = {Lecture Notes in Computer Science Tutorial}, publisher = {Springer--Verlag} }