Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL: Status & Developments. CAV 1997: 456-459