Modelling the behaviour of a switch as a SysML state diagram. But where do the test cases that an on-board unit has to pass actually come from? As is common practice in testing today, they are derived ...