Please take a loot at technology preview of formal SysML (Blocks, States, Activities) model V&V by our partners IncQuery Labs.

More can be found at: https://incquery.io/research-projects/accelerated-simulation-for-industry-scale-behavioral-modeling

https://youtu.be/YouUoet7Yxc