Eike Best Philippe Darondeau A decomposition theorem for finite persistent transition systems. 237-254 2009 46 Acta Inf. 3 http://dx.doi.org/10.1007/s00236-009-0095-6 db/journals/acta/acta46.html#BestD09