D. M. Chapiro, Globally-Asynchronous Locally-Synchronous Systems, 1984.

D. S. Bormann and P. Y. Cheung, Asynchronous wrapper for heterogeneous systems, Proceedings International Conference on Computer Design VLSI in Computers and Processors, 1997.
DOI : 10.1109/ICCD.1997.628884

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

B. Schatz, A. Pretschner, F. Huber, and J. Philipps, Model-Based Development of Embedded Systems, Advances in Object-Oriented Information Systems, 2002.
DOI : 10.1007/3-540-46105-1_34

D. Niz, D. Bhatia, G. Rajkumar, and R. , Model-Based Development of Embedded Systems: The SysWeaver Approach, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 2006.

J. Borcsok, W. Chaaban, M. Schwarz, H. Sheng, O. Sheleh et al., An automated software verification tool for model-based development of embedded systems with simulink??, 2009 XXII International Symposium on Information, Communication and Automation Technologies, 2009.
DOI : 10.1109/ICAT.2009.5348445

C. Bunse, H. G. Gross, and C. Peper, Applying a Model-based Approach for Embedded System Development, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), 2007.
DOI : 10.1109/EUROMICRO.2007.18

L. Gomes and J. Fernandes, Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Global's, 2009.
DOI : 10.4018/978-1-60566-750-8

L. P. Carloni and A. L. Sangiovanni-vincentelli, A formal modeling framework for deploying synchronous designs on distributed architectures, in In FMGALS: Formal Methods for Globally Asynchronous Locally Asynchronous Architecture, 2003.

H. Kleijn, M. Koutny, and G. Rozenberg, Processes of Petri nets with localities, School of Computing Science, 2006.

S. Suhaib, D. Mathaikutty, and S. K. Shukla, Dataflow Architectures for GALS, Electronic Notes in Theoretical Computer Science, vol.200, issue.1, pp.33-50, 2008.
DOI : 10.1016/j.entcs.2008.02.005

W. Reisig, Petri nets: an introduction, 1985.

F. Moutinho, L. Gomes, P. Barbosa, J. P. Barros, F. Ramalho et al., Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System, 2nd DOCEIS -Doctoral Conference on Computing Electrical and Industrial Systems, 2011.
DOI : 10.1007/978-3-642-19170-1_26

J. Ribeiro, F. Moutinho, F. Pereira, J. P. Barros, and L. Gomes, An Ecore based Petri net type definition for PNML IOPT models, 2011 9th IEEE International Conference on Industrial Informatics, 2011.
DOI : 10.1109/INDIN.2011.6034992

F. Moutinho and L. Gomes, State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets, 37th Annual Conf, 2011.

L. Gomes, R. Rebelo, J. Barros, and A. Costa, Pais, R: From Petri net models to C implementation of digital controllers, Proceedings of the ISIE'2010 -IEEE International Symposium on Industrial Electronics, 2010.

L. Gomes, A. Costa, J. Barros, and P. Lima, From Petri net models to VHDL implementation of digital controllers, 33rd Annual Conf, 2007.