N. Obeidat, 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).