Singh, L. K.Vinod, G.Tripathi, A. K.2015-01-232015-01-232014IEEE Transactions on Nuclear Science, 2014. Vol. 61 (2): pp. 921-930http://hdl.handle.net/123456789/102843998 bytestext/htmlenInstrumentation and ControlMarkov chainNuclear Power PlantPetri NetDesign Verification of Instrumentation and Control Systems of Nuclear Power PlantsArticle