DOI,IST REx ID,Title of publication
10.1142/9789812831583_0001,4590,Real-time system = discrete system + clock variables