Package org.cmg.resp.policy.automaton