Verifying hierarchical Ptolemy II discrete-event models using real-time maude
scientific article; zbMATH DE number 6171345