Kristian Bisgaard Lassen and Simon Tjell: Model-Based Requirements Analysis for Reactive Systems with UML Sequence Diagrams and Coloured Petri Nets. In Innovations in Systems and Software Engineering: A NASA Journal, 4(3):233-240, October 2008. Presented at the 1st International Workshop on UML & Formal Methods (UML&FM at ICFEM 2008), October 27, 2008, Kitakyushu, Japan. [ bib | DOI ]

Simon Tjell and João Miguel Fernandes: Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. In Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy, volume 271 of IFIP International Federation for Information Processing, pages 79-88, New York, USA, September 2008. Springer-Verlag. [ bib | DOI ]

Kristian Bisgaard Lassen and Simon Tjell. Developing Tool Support for Problem Diagrams with CPN and VDM++. In Proceedings of the 4th VDM/Overture Workshop (OVERTURE at FM 2008), May 26, 2008, Turku, Finland, number CS-TR-1099 in Technical Report Series, pages 25-34, United Kingdom, 2008. Newcastle University. [ bib | .pdf ]

Kristian Bisgaard Lassen and Simon Tjell. Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. In Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2007), October 22-24, 2007, Aarhus, Denmark, number PB-584, pages 127-146, Denmark, October 2007. Department of Computer Science, University of Aarhus. [ bib | .pdf ]

João Miguel Fernandes, Jens Bæk Jørgensen, and Simon Tjell. Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. In Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), December 5-7, 2007, Nagoya, Japan, pages 294-301, Washington, DC, USA, 2007. IEEE Computer Society Press. [ bib | DOI ]

João Miguel Fernandes, Simon Tjell, and Jens Bæk Jørgensen. Requirements Engineering for Reactive Systems with Coloured Petri Nets: the Gas Pump Controller Example. In Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2007), October 22-24, 2007, Aarhus, Denmark, number PB-584, pages 207-222, Denmark, 2007. Department of Computer Science, University of Aarhus. [ bib | .pdf ]

João Miguel Fernandes, Simon Tjell, Jens Bæk Jørgensen, and Oscar Ribeiro. Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net. In Proceedings of the 6th International Workshop on Scenarios and State Machines (SCESM at ICSE 2007), May 21, 2007, Minneapolis, USA, Washington, DC, USA, 2007. IEEE Computer Society Press. [ bib | DOI ]

John S. Fitzgerald, Simon Tjell, Peter G. Larsen, and Marcel Verhoef. Validation Support for Distributed Real-Time Embedded Systems in VDM++. In Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pages 331-340, Washington, DC, USA, 2007. IEEE Computer Society Press. [ bib | DOI ]

Simon Tjell. Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES 2007), July 4-6, 2007, Lisbon, Portugal, pages 242-249, Washington, DC, USA, 2007. IEEE Computer Society Press. [ bib | DOI ]

Simon Tjell. Model-Based Testing of a Reactive System with Coloured Petri Nets. In Informatik für Menschen, Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (Informatik 2006), October 2-6, 2006, Dresden, Germany, volume 94 of LNI, pages 274-281, Germany, 2006. Gesellschaft für Informatik. [ bib ]