Cyberiada-GraphML-1.0 SM formal CGML_META standardVersion/ 1.0 transitionOrder/ transitionFirst eventPropagation/ block State 1 entry/ exit/ exit(); State 2 EVENT [is_guard()]/ action(); EVENT(b) [is_guard() && is_second()]/ action1(); action2(); EVENT [else]/ entry/ init();