DOI,IST REx ID,Title of publication
10.1007/3-540-44618-4_33,4637,The control of synchronous systems