You are about to access our book library "Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project full version" .