[1]
Waithe, W., Pilling, W. and Wright, L. 2018. On the Construction of Model Checking. Journal of Computer Science and Software Engineering. 10, 3 (Oct. 2018).