Explaining counterexamples using causality Ilan BeerShoham Ben-DavidRichard Trefler OriginalPaper 20 December 2011 Pages: 20 - 40
Interrupt Timed Automata: verification and expressiveness Béatrice BérardSerge HaddadMathieu Sassolas OriginalPaper 11 January 2012 Pages: 41 - 87
Synthesis of opaque systems with static and dynamic masks Franck CassezJérémy DubreilHervé Marchand OriginalPaper 19 January 2012 Pages: 88 - 115