Modeling distributed real-time applications with Specification PEARL
scientific article; zbMATH DE number 5131254