1. C. André, F. Mallet, Specification and verification of time requirements with CCSL and esterel, in LCTES, ed. by C. Kirsch, M.Kandemir (ACMDL, SIGPLAN/SIGBED, Dublin, Ireland, 2009), pp. 167–176
2. C. André, F. Mallet, A. Khan, R. deSimone, Modeling spirit IP-XACT in UML marte, in Conf. on Design, Automation and Test in Europe (DATE), MARTE Workshop, 2008, pp. 35–40
3. ARM, AMBA Specification. ARM Limited. ARM IHI 0011A, 1999
4. L. Cai, D. Gajski, Transaction level modeling: an overview, in CODES+ISSS, ed. by R. Gupta, Y. Nakamura, A. Orailoglu, P.H. Chou (ACM DL, Newport Beach, CA, USA, 2003), pp. 19–24
5. R. Chen, M. Sgroi, L. Lavagno,G. Martin, A. Sangiovanni-Vincentelli, J. Rabaey, UML and platform-based design, in UML for Real: Sesign of Embedded Real-Time Systems (Kluwer, Norwell, MA, 2003), pp.107–126