1. ARTIST (2003). Component-based Design and Integration Platforms. Technical Report W1.A2.N1.Y1, ARTIST — Advanced Real-Time Systems — IST project.
2. Berthomieu, B. and Diaz, M. (1991). Modeling and verifications of time dependent systems using time Petri nets. IEEE TSE, 17(3).
3. Binns, P. and Vestal, S. (2001). Formalizing software architectures for embedded systems. In EMSOFT 2001, volume 2211 of LNCS. Springer.
4. Cambazard, H. et al. (2004). Decomposition and learning for a hard real-time task allocating problem. In CORS/INFORMS Joint International Meeting.
5. Debruyne, V. et al. (2004). EAST-ADL, an Architecture Description Language, Validation and Verification Aspects. In IFIP 2004 WADL.