Verifying the Application of Security Measures in IoT Software Systems with Model Learning | Publicación