Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants. - Susan Darling Urban; Andrew Courter; Le Gao; Mary Shuman (RuleML America, 2011)