User interface evaluation based on coloured Petri nets modelling and analysis. - Marckson R. F. de Sousa; Maria de F. Q. V. Turnell (SMC, 1998)

Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis. - Maria de F. Q. V. Turnell; Alexandre Scaico; Marckson R. F. de Sousa; Angelo Perkusich (DSV-IS, 2001)

Investigating System Navigation Ergonomics through Model Verification. - Alexandre Scaico; Maria de Fátima Queiroz Vieira; Marckson R. F. de Sousa; Charles Santoni (DSV-IS, 2008)