Complexity of LTL Model-Checking for Safe Object Nets Köhler-Bußmeier, Michael Heitmann, Frank 2010 - ReposIt