Jacques Combaz Jean-Claude Fernandez Joseph Sifakis Loïc Strus Using Speed Diagrams for Symbolic Quality Management. 1-8 2007 conf/ipps/2007 IPDPS http://dx.doi.org/10.1109/IPDPS.2007.370341 db/conf/ipps/ipdps2007.html#CombazFSS07