The paper 'Model-Based Testing of Internet of Things Protocols' was accepted at FMICS 2022. Xavier van Dommelen, Machiel van der Bijl, Andy Pimentel Jul 8, 2022