Specification, Modelling, Verification And Runtime Analysis Of Real Time Systems door