Use Case Analysis Based on Formal Methods: An Empirical Study. - Marcos Oliveira Jr.; Leila Ribeiro 001; Érika F. Cota; Lucio Mauro Duarte; Ingrid Nunes; Filipe Reis (WADT, 2014)