A rigorous approach for constructing self-evolving real-time reactive systems. - Vangalur S. Alagar; Ramesh Achuthan; M. Haydar; D. Muthiayen; Olga Ormandjieva; Mao Zheng (Inf. Softw. Technol., 2003)