Modeling a Smart School Building System Using UML and TLA+. - Nawar H. Obeidat; Carla Purdy (ICICT, 2020)

Improving Security in SCADA Systems through Model-checking with TLA+. - Nawar H. Obeidat; Carla Purdy (MWSCAS, 2021)