Formal techniques for performance analysis: blending SAN and PEPA Jane HillstonLeïla Kloul Original Article 09 November 2006 Pages: 3 - 33
Minimal refinements of specifications in model and termporal logics Nikos GorogiannisMark Ryan Original Article 08 December 2006 Pages: 35 - 62
Verifying a signature architecture: a comparative case study David BasinHironobu KurumaBurkhart Wolff Original Article 13 January 2007 Pages: 63 - 91
Parametric probabilistic transition systems for system design and analysis Ruggero LanotteAndrea Maggiolo-SchettiniAngelo Troina Original Article 30 November 2006 Pages: 93 - 109
An engineering process for the verification of real-time systems A. BurnsT. -M. Lin Original Article 20 December 2006 Pages: 111 - 136