Functional requirements validation by transforming use case models into Abstract State Machines. - Patrizia Scandurra; Andrea Arnoldi; Tao Yue 002; Marco Dolci (SAC, 2012)