MLCA: A Model-Learning-Checking Approach for IoT Systems | Publicación