author : R. K. Shyamasundar

Short works

• A Translation of Statecharts to Esterel. 1999. (In FM'99 volume 2 )