Real-time system = discrete system + clock variables
scientific article; zbMATH DE number 1862296