Model-Based Testing for MQTT Applications. - Kotaro Tanabe; Yoshinori Tanabe; Masami Hagiya (JCKBSE, 2020)