An iterative approach to verification of real-time systems
scientific article; zbMATH DE number 741355
scientific article