1. Gomes, L., Fernandes, J.M.: Behavioral Modeling for Embedded Systems and Technologies. Information Science Reference (2009)
2. Sgroi, M., Lavagno, L., Sangiovanni-Vincentelli, A.: Formal models for embedded system design. IEEE Des. Test 17, 14–27 (2000)
3. Gomes, L., Barros, J.P., Costa, A., Pais, R., Moutinho, F.: Formal Methods for Embedded Systems Co design: the FORDESIGN Project. In: Proceedings of Workshop Reconfigurable Communication-centric Systems-on Chip, ReCoSoC 2005 (2005)
4. Girault, C., Rüdiger, V.: Petri Nets for Systems Engineering. In: XV, Hardcover, p. 607 (2003)
5. Barbosa, P., Costa, A., Ramalho, F., Figueiredo, J., Gomes, L., Junior, A.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science (J.UCS) (to appear 2009),
http://www.jucs.org/jucs