Applications of specification and design languages for SoCs Selected papers from FDL 2005 - Vachoux, A (Springer Netherlands, 2006)