Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction - Retracted Article | RetractBase