JiDong Ge, Haiyang Hu, Hao Hu, Xianglin Fei: Invariant Analysis for Ordering Constraints of Multi-view Business Process Model. APWeb Workshops 2012: 257-268