Model-based Development & Verification Environment