1. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems;Alur;Hybrid Systems, LNCS 736, Springer Verlag,1993
2. A framework for inferential problems in DEDS Part-II: State Observation;Bhowal;Proc. 2000 IEEE International Conference on System Man and Cybernetics, Nashville, USA,2000
3. Henzinger, Thomas A., Zohar Manna and Amir Pnueli (1993). Towards refining temporal specification into hybrid system.
4. A framework for inferential problems in DEDS Part-I: TTM Based Modeling;Mukhopadhay;Proc. 2000 IEEE International Conference on System Man and Cybernetics, Nashville, USA,2000
5. A framework for inferential problems in DEDS Part-III Fault Diagnosis;Mukhopadhay;Proc. 2000 IEEE International Conference on System Man and Cybernetics, Nashville, USA,2000