A substantial body of engineering practice now exists for making model-based systems behave. How to constrain them, how to evaluate them, how to catch their failures before those failures reach anyone, where to place a person so that a wrong answer gets stopped while it is still cheap to stop. It is real craft and it is worth having. All of…