A refinement-based process algebra for timed automata Stefano CattaniMarta Kwiatkowska OriginalPaper 29 June 2005 Pages: 138 - 159
Using probabilistic model checking for dynamic power management Gethin NormanDavid ParkerRajesh Gupta OriginalPaper 19 May 2005 Pages: 160 - 176
The formal design of distributed controllers with dSL and Spin Bram De WachterAlexandre GenonCédric Meuter OriginalPaper 29 June 2005 Pages: 177 - 200
Model checking, testing and verification working together Elsa GunterDoron Peled OriginalPaper 05 August 2005 Pages: 201 - 221
Not necessarily closed convex polyhedra and the double description method Roberto BagnaraPatricia M. HillEnea Zaffanella OriginalPaper 20 June 2005 Pages: 222 - 257