Using a proven approach from computer science that describes the separation of the control software in different layers in order to meet high-level and low-level requirements individually, the results ...