Methodology for Automatic Generation of Exhaustive Behavioral Models in Reactive Autonomic Systems. - Javier Quiroz; Olga Ormandjieva (SETP, 2008)