An embedding of timed transition systems in \(HOL\)
specifying and reasoning about real-time systems
scientific article; zbMATH DE number 469142