you hope to gain new insight or to address your biggest risks. Of course, if you hope your model will help you automatically to generate the run-time code or to be used for system simulation, you will even have to model simple switches or retrieve them from a model library