Slide 1 1 Design Methods for Reactive Systems, R.J. Wieringa Part IV: Behavior Notations Jens Bæk Jørgensen, University of Aarhus Slide 2 2 Behaviour descriptions – in…