An concurrent state-machine modelling language based on Mbeddr, which extends C.