"Formal modelling and verification of a component model using coloured ..."

Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics