Global specification and validation of embedded systemsde G. Nicolescu, Ahmed A. JerrayaMateriasHeterogeneous computingEmbedded computer systemsValidationComputer programsComputer programs, validation