Unified toolchain for modeling, analysis, verification, and code generation of cyber-physical systems.
