You are about to access our book library "The STARTS Guide: A Guide to Methods and Software Tools for the Construction of Large Real-time Systems full version" .