Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source