You are about to access our book library "Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from ... Notes in Electrical Engineering Book 63) full version"
.