An concurrent state-machine language based on Mbeddr