You are about to access our book library "Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 full version" .