Model-driven Development of Adaptive IoT Systems
Nusmv 2: An opensource tool for symbolic model checking