From statecharts to ESP*: Programming with events, states and predicates for embedded systemsVugranam C. SreedharMaria-Cristina Marinescu2005EMSOFT 2005