J. Lockhart, C. Purdy, and P. Wilsey "Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics", Advances in Science, Technology and Engineering Systems Journal, vol. 4, no. 1, pp. 231–247, 2019, doi: 10.25046/aj040123.