Model checking duration calculus: a practical approach
scientific article; zbMATH DE number 5314962
scientific article