Model-Based Testing of Internet of Things Protocols. - Xavier Manuel van Dommelen; Machiel van der Bijl; Andy D. Pimentel (FMICS, 2022)