John Håkansson Jan Carlson Aurelien Monot Paul Pettersson Davor Slutej Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. 252-257 2008 ATVA http://dx.doi.org/10.1007/978-3-540-88387-6_23 conf/atva/2008 db/conf/atva/atva2008.html#HakanssonCMPS08