Finkeland Schnoebelen. Well-structured Transition Systems Everywhere!. no. 1-2, Elsevier BV, 2001, doi:10.1016/s0304-3975(00)00102-x.