You are about to access our book library "Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2014 (Lecture Notes in Electrical Engineering Book 361) full version" .