Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.”10.1142/9789812831583_0001__Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29, doi:10.1142/9789812831583_0001.
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001