Weiyi Zhang, Zoran Salcic, Avinash Malik. Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets. In 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019. pages 152-159, IEEE, 2019. [doi]
Abstract is missing.