Wakankar, A.Kabra, A.Bhattacharjee, A. K.Karmakar, G.2019-12-102019-12-102019Nuclear Engineering and Technology, 2019. Vol. 51: pp. 463-478http://hdl.handle.net/123456789/200874423 bytestext/htmlenArchitectural analysisSafetyAvailabilityProbabilistic model checkingReactor trip systemArchitectural model driven dependability analysis of computer based safety system in nuclear power plantArticle