A process algebraic framework for specification and validation of real-time systems
scientific article; zbMATH DE number 5703856