Jacques Combaz Jean-Claude Fernandez Joseph Sifakis Loïc Strus Symbolic quality control for multimedia applications. 1-43 2008 40 Real-Time Systems 1 http://dx.doi.org/10.1007/s11241-008-9049-2 db/journals/rts/rts40.html#CombazFSS08