Thomas A. Henzinger Slobodan Matic An Interface Algebra for Real-Time Components. 253-266 2006 conf/rtas/2006 IEEE Real Time Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTAS.2006.11 db/conf/rtas/rtas2006.html#HenzingerM06