N. Obeidat and C. Purdy "Using Formal Methods to Model a Smart School System via TLA+ and its TLC Model Checker for Validation", Advances in Science, Technology and Engineering Systems Journal, vol. 6, no. 2, pp. 821–828, 2021, doi: 10.25046/aj060295.