DOI,IST REx ID,Title of publication
null,4524,A hierarchical coordination language for reliable real-time tasks