Domain specific language for Supervisor-controlled programs