A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. - Caiazza Alessandro; Roberto Di Maio; Fernando Scalabrini; Fabio Poli; Leonardo Impagliazzo; Arturo M. Amendola (EDCC, 2005)