Synthesis of Control Protocols for Autonomous Systems
Nusmv 2: An opensource tool for symbolic model checking