Model-based Testing of a Reactive System with Coloured Petri Nets. - Simon Tjell (GI Jahrestagung (2), 2006)

Model-Based Analysis of a Windmill Communication System. - Simon Tjell (DIPES, 2006)

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. - João M. Fernandes 001; Jens Bæk Jørgensen; Simon Tjell (APSEC, 2007)

Validation Support for Distributed Real-Time Embedded Systems in VDM++. - John S. Fitzgerald; Simon Tjell; Peter Gorm Larsen; Marcel Verhoef (HASE, 2007)

Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. - Simon Tjell (SIES, 2007)

Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. - Simon Tjell; João M. Fernandes 001 (DIPES, 2008)

Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets. - Kristian Bisgaard Lassen; Simon Tjell (Innov. Syst. Softw. Eng., 2008)

Formal requirements modelling with executable use cases and coloured Petri nets. - Jens Bæk Jørgensen; Simon Tjell; João M. Fernandes 001 (Innov. Syst. Softw. Eng., 2009)