Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems
Uppaal in a nutshell