Reachability problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 ; proceedings - Abdulla, Parosh Aziz (Springer, 2013)