Work

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering