Gerd Behrmann Johan Bengtsson Alexandre David Kim Guldstrand Larsen Paul Pettersson Wang Yi UPPAAL Implementation Secrets. 3-22 2002 conf/ftrtft/2002 FTRTFT http://link.springer.de/link/service/series/0558/bibs/2469/24690003.htm db/conf/ftrtft/ftrtft2002.html#BehrmannBDLPY02