Compositional verification of real-time systems with explicit clock temporal logic
scientific article; zbMATH DE number 907983
scientific article