Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 - Vachoux, A. (Springer, 2006)