1. AERB-SG D25 (Safety Guide), Computer Based Systems of Pressurized Heavy Water Reactors. Technical report, Atomic Energy Regulatory Board, Mumbai, India (2010)
2. AERB–SG D1 (Safety Guide), Safety Classification and Seismic Categorization for Structures, Systems and Components of Pressurized Heavy Water Reactors. Technical report, Atomic Energy Regulatory Board, Mumbai, India (2003)
3. AERB–SG D10 (Safety Guide), Safety Systems for Pressurized Heavy Water Reactors. Technical report, Atomic Energy Regulatory Board, Mumbai, India (2005)
4. E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith, Progress on the State Explosion Problem in Model Checking (Springer, Berlin, 2001), pp. 176–194
5. E.M. Clarke, O. Grumberg, D. Peled, Model Checking (MIT Press, New York, 1999)