Statecharts disentangled

An execution model for simplified statecharts is focused on, and the values of all variables in the reachable and useful states of the simplified statechart are determined, to determine a useful technique for (temporal) value propagation.