Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. - John Håkansson; Jan Carlson; Aurelien Monot; Paul Pettersson; Davor Slutej (ATVA, 2008)

Analyzing a Pattern-Based Model of a Real-Time Turntable System. - Davor Slutej; John Håkansson; Jagadish Suryadevara; Cristina Cerschi Seceleanu; Paul Pettersson (FESCA@ETAPS, 2009)

Content Aggregation; Visualization and Emergent Properties in Computer Simulations. - Gordana Dodig Crnkovic; Juan M. Durán; Davor Slutej (SIGRAD, 2010)