The real-time process algebra (RTPA)
scientific article; zbMATH DE number 1871250