1. Review Guidelines for Field-Programmable Gate Arrays in Nuclear Power Plant Safety Systems. NUREG/CR-7006, U.S. Nuclear Regulatory Commission, Washington, D.C., USA (2010)
2. Ventsel’, E., Ovcharov, L.: Probability Theory and its Applications in Engineering. Nauka, Moscow (2000) (in Russian)
3. Archana, S., Srinivasan, R., Trivedi, K.S.: Availability Models in Practice. In: Proc. Int. Workshop on Fault-Tolerant Control and Computing (FTCC-1), Seoul, Korea, May 22-23 (2000)
4. Bobbio, A., Trivedi, K.S.: A Aggregation Technique for Transient Analysis of Stiff Markov Chains. IEEE Transactions on Computers C-35, 803–814 (1986)
5. Malhotra, M., Muppala, J.K., Trivedi, K.S.: Stiffness-Tolerant Methods for Transient Analysis of Stiff Markov Chains. Microelectronic Reliability 34(11), 1825–1841 (1994)