This control software typically includes a supervisory controller that orchestrates the interaction between..For industrial-scale systems the supervisory controller may be highly complex and non-trivial to develop..SBE builds on the synthesis procedure: (symbolically) computing a correct-by-construction controller