http://www.vdmportal.org/twiki/bin/view/Main/WebHome
2010年１月
DESTECS (Design Support and Tooling for Embedded Control Software) （耐故障性のある埋め込みシステム開発の課題に取り組む研究グループおよび企業のコンソーシアム）
DESTECSプロジェクトが開始した。このプロジェクトは、翌３年にわたり、分散制御アプリケーションにおけるVDM利用の可能性を調べるものである。VDMにおける制御ソフトウェアのモデルを制御プラントまたは制御環境のモデルと同時に開発することを可能にする方法として、協調シミュレーション技術に重点を置いている。