1. Distributed synthesis for well-connected architectures

   • Paul Gastin
   • Nathalie Sznajder
   • Marc Zeitoun

   OriginalPaper 16 January 2009 Pages: 215 - 237

2. Conformance testing for real-time systems

   • Moez Krichen
   • Stavros Tripakis

   OriginalPaper 14 February 2009 Pages: 238 - 304