Wijs. Confluence Detection for Transformations of Labelled Transition Systems. 10 Apr. 2015.