Formal modelling and verification of a component model using coloured petri nets and model checking
Proceedings of the 2007 ACM symposium on Applied computing - SAC ’07
Leandro Dias da Silva
Hyggo Oliveira de Almeida