@InProceedings{bdlmpy:cdc01, author = "Gerd Behrman and Alexandre David and Kim G. Larsen and M. Oliver M{\"o}ller and Paul Petterson and Wang Yi", title = "{{\sc Uppaal} - {P}resent and {F}uture}", booktitle = "Proc.\ of the 40th IEEE Conference on Decision and Control", publisher = "IEEE Service Center", address = "Orlando, Florida", year = "2001", month = dec, pages = {2281--2286}, }