Generating online test oracles from temporal logic specifications. - John Håkansson; Bengt Jonsson 001; Ola Lundqvist (Int. J. Softw. Tools Technol. Transf., 2003)

SaveCCM: An Analysable Component Model for Real-Time Systems. - Jan Carlson; John Håkansson; Paul Pettersson (FACS, 2005)

Model Checking Timed Automata with Priorities Using DBM Subtraction. - Alexandre David; John Håkansson; Kim Guldstrand Larsen; Paul Pettersson (FORMATS, 2006)

UPPAAL 4.0. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; John Håkansson; Paul Pettersson; Wang Yi 001; Martijn Hendriks (QEST, 2006)

Partial Order Reduction for Verification of Real-Time Components. - John Håkansson; Paul Pettersson (FORMATS, 2007)

The SAVE approach to component-based development of vehicular systems. - Mikael Åkerholm; Jan Carlson; Johan Fredriksson; Hans Hansson; John Håkansson; Anders Möller; Paul Pettersson; Massimo Tivoli (J. Syst. Softw., 2007)

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

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. - Séverine Sentilles; Paul Pettersson; Ivica Crnkovic; John Håkansson (ASE, 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)