Wijs, 2015. Confluence Detection for Transformations of Labelled Transition Systems.