Transformation of a semi-formal specification to VDM. - J. D'Almeida; Ramesh Achuthan; Thiruvengadam Radhakrishnan; Vangalur S. Alagar (KBSE, 1992)

Completeness in Statechart Models for Reactive Systems. - Vangalur S. Alagar; Fangqing Dong; Ramesh Achuthan (SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993)

An Object-Oriented Framework for Specifying Reactive Systems. - Ramesh Achuthan; Vangalur S. Alagar; Thiruvengadam Radhakrishnan (COODBSE, 1994)

TROM - An Object Model for Reactive System Development. - Ramesh Achuthan; Vangalur S. Alagar; Thiruvengadam Radhakrishnan (ASIAN, 1995)

An object-oriented modeling of real-time robotic assembly system. - Ramesh Achuthan; Vangalur S. Alagar; Thiruvengadam Radhakrishnan (ICECCS, 1995)

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

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)