Monitoring distributed real-time systems
scientific article; zbMATH DE number 597823