1. Andersson, P., Host, M., 2008. UML and SystemC-a comparison and mapping rules for automatic code generation. LNEE, 10:199–209. [doi:10.1007/978-1-4020-8297-9_14]
2. Andre, C., Cuccuru, S., Dekeyser, J.L., de Simone, R., Dumoulin, C., Forget, J., Gautier, T., Gérard, S., Mallet, F., Radermacher, A., et al., 2005. MARTE: a New OMG Profile RFP for the Modeling and Analysis of Real-time Embedded Systems. DAC Workshop UML for SoC Design, p.16–21.
3. Aredo, D.B., 2002. A framework for semantics of UML sequence diagrams in PVS. J. Univers. Comput. Sci., 8(7): 674–698. [doi:10.3217/jucs-008-07]
4. Aredo, D.B., 2003. Formal Semantics of UML Statecharts in PVS. Proc. 7th World Multiconf. on Systemics, Cybernetics, and Informatics, Orlando, Florida, USA.
5. Aredo, D.B., Traore, I., Stolen, K., 1999. Towards Formalization of UML Class Structure in PVS. Research Report No. 272, Department of Informatics, University of Oslo, Norway.