Liveness and Reachability for Elementary Object Systems Köhler-Bußmeier, Michael Heitmann, Frank 2011 - ReposIt