Lu, Y. , Miller, A. A. , Hoffmann, R. and Johnson, C. W. (2016) Towards the automated verification of Weibull distributions for system failure rates. Lecture Notes in Computer Science, 9933, pp. 81-96. (doi: 10.1007/978-3-319-45943-1_6)

Peng, Z., Lu, Y. , Miller, A. , Tingdi, Z. and Johnson, C. (2016) Formal specification and quantitative analysis of a constellation of navigation satellites. Quality and Reliability Engineering International, 32(2), pp. 345-361. (doi: 10.1002/qre.1754)

Peng, Z., Lu, Y. , Miller, A. , Johnson, C. and Zhao, T. (2016) Risk assessment of railway transportation systems using timed fault trees. Quality and Reliability Engineering International, 32(1), pp. 181-194. (doi: 10.1002/qre.1738)