Applications of Specification and Design Languages for SoCs - Vachoux, A.; Vachoux, Alain (Springer Netherlands, 2006)