Javier Quiroz, Olga Ormandjieva. Methodology for Automatic Generation of Exhaustive Behavioral Models in Reactive Autonomic Systems. In M. A. Karim Sadiq, Haiping Xu, Jaroslav Zendulka, Adegboyega K. Ojo, editors, International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008. pages 95-104, ISRST, 2008.
Abstract is missing.