Binary Logic State Transition Oriented Formal General Reliability Model
ZHOU Yi-zhou (周一舟), REN Yi (任 羿), LIU Lin-lin* (刘林林),MA Zheng (马 政), WANG Zi-li (王自力)
Journal of shanghai Jiaotong University (Science) . 2015, (4): 482 -488 .  DOI: 10.1007/s12204-015-1654-3