Lamb, Luís, Aline Villavicencio, Marco Idiart, Luciana S. Buriol, Leila Ribeiro, and Roberto da Silva. " Modelagem de Sistemas Computacionais Complexos: Em Direção a uma Fundamentação Científica e Aplicações Tecnológicas." Anais do XXXIV Seminário Integrado de Software e Hardware, Rio de Janeiro/RJ, 2007. SBC, 2007, pp.2113-2127.