An engineering process for the verification of real-time systems
scientific article; zbMATH DE number 5145024
scientific article