Title: Simulation and modelling of a supervisory control system using concurrent Euclid