David Miranda Marcela Genero Mario Piattini Empirical Validation of Metrics for UML Statechart Diagrams. 87-95 2003 ICEIS (1) db/conf/iceis/iceis2003-1.html#MirandaGP03