You are about to access our book library "Model-driven Development Methodology for Hybrid Embedded Systems Based on Uml with Emphasis on Safety-related Requirements full version" .