DOI,IST REx ID,Title of publication
10.1007/s100090050007,4584,Real-time system = discrete system + clock variables