L. Gomes, J. P. Barros, A. Costa, R. Pais, and F. Moutinho, Formal Methods for Embedded Systems Co-design: the FORDESIGN Project, ReCoSoC'05-Reconfigurable Communication-centric Systems-on-Chip -Workshop Proceedings, 2005.
DOI : 10.1109/etfa.2005.1612535

L. Gomes, J. Barros, A. Costa, and R. Nunes, The Input-Output Place-Transition Petri Net Class and Associated Tools, 2007 5th IEEE International Conference on Industrial Informatics, 2007.
DOI : 10.1109/INDIN.2007.4384809

A. Costa and L. Gomes, Petri net partitioning using net splitting operation, 2009 7th IEEE International Conference on Industrial Informatics, 2009.
DOI : 10.1109/INDIN.2009.5195804

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude Manual (Version 2.5) Available at http

J. Billington, S. Christensen, K. Hee, E. Kindler, O. Kummer et al., The Petri Net Markup Language: Concepts, Technology, and Tools, Proceeding of the 24th International Conference on Application and Theory of Petri Nets, ser. LNCS, W. van der Aalst and E. Best, pp.483-505, 2003.
DOI : 10.1007/3-540-44919-1_31

URL : https://hal.archives-ouvertes.fr/hal-00084186

F. Moutinho, L. Gomes, F. Ramalho, J. Figueiredo, J. Barros et al., Ecore representation for extending PNML for Input-Output Place-Transition nets, IECON 2010, 36th Annual Conference on IEEE Industrial Electronics Society, 2010.
DOI : 10.1109/IECON.2010.5675332

F. Doucet, M. Menarini, I. Kruger, and R. Gupta, A Veri¯ cation Approach for GALS Integration of Synchronous Components, 2005.

S. Dasgupta and A. Yakovlev, Modeling And Performance Analysis of GALS architectures, 2006 International Symposium on System-on-Chip, 2006.
DOI : 10.1109/ISSOC.2006.321998