DOI,IST REx ID,Title of publication
10.1109/RTAS.2006.11,4436,An interface algebra for real-time components