_id,doi,title
4436,10.1109/RTAS.2006.11,An interface algebra for real-time components