Specification, modelling, verification and runtime analysis of real time systemsGeorgios LogothetisÉpuiséPrévenez-moi
