Modeling and Verification of Real-time Systems: Formalisms and Software ToolsMerz, StephanFrom 194,05€