Candida Attanasio Flavio Corradini Paola Inverardi Static analysis of real-time component-based systems configurations. 5-30 2003 46 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/S0167-6423(02)00085-0 db/journals/scp/scp46.html#AttanasioCI03