Verifying the Application of Security Measures in IoT Software Systems with Model Learning Topics: Embedded Systems; Formal Methods; Internet of Things; Model-driven Software Engineering; System Software; Testing and Testability In Proceedings of the 15th International Conference on Software Technologies ICSOFT - Volume 1, 350-360, 2020