Animating Real-Time Reactive Systems. - Vangalur S. Alagar; D. Muthiayen; Ramesh Achuthan (ICECCS, 1996)

Verification and Validation Techniques of Object-Oriented Software Systems. - Kasilingam Periyasamy; Vangalur S. Alagar; D. Muthiayen (TOOLS (30), 1999)

Towards a mechanical verification of real-time reactive systems modeled in UML. - Vangalur S. Alagar; D. Muthiayen (RTCSA, 2000)

An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. - D. Muthiayen; Vangalur S. Alagar; Ferhat Khendek; Azimeh Sefidcon (RTCSA, 2000)

A Rigorous Approach to Modeling Autonomous Traffic Control Systems. - Vangalur S. Alagar; D. Muthiayen (ISADS, 2003)

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)