UPPAAL

Environment Modeling During Model Checking of Cyber-Physical Systems
A domain-independent framework which can balance coverage and expressiveness of environment models during closed-loop model checking of Cyber-Physical Systems.
Cite Lab DOI
Environment Modeling During Model Checking of Cyber-Physical Systems