Distributed synthesis for well-connected architectures Paul GastinNathalie SznajderMarc Zeitoun OriginalPaper 16 January 2009 Pages: 215 - 237
Conformance testing for real-time systems Moez KrichenStavros Tripakis OriginalPaper 14 February 2009 Pages: 238 - 304