Streamlining progress-based derivations of concurrent programs Brijesh DongolArjan J. Mooij ORIGINAL ARTICLE 05 June 2007 Pages: 141 - 160
Integrating a formal method into a software engineering process with UML and Java Michael MöllerErnst-Rüdiger OlderogHeike Wehrheim Original Article 19 July 2007 Pages: 161 - 204
Interface synthesis and protocol conversion Purandar BhaduriS. Ramesh Original Article 07 September 2007 Pages: 205 - 224
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties Hanifa Boucheneb Original Article 23 October 2007 Pages: 225 - 238