Modeling with recursive use cases. - Gladys Benigni; Suhail Zabala; María Gaviria (EATIS, 2012)