Semantics and pragmatics of real-time maude
scientific article; zbMATH DE number 5155275