Candida Attanasio Flavio Corradini Paola Inverardi Static Analysis of Real-Time Component-Based Systems Configurations. 323-339 http://dx.doi.org/10.1007/3-540-48919-3_23 1999 conf/coordination/1999 COORDINATION db/conf/coordination/coordination1999.html#AttanasioCI99