Matthias Rungger, Alexander Weber, Gunther Reissig: State space grids for low complexity abstractions. CDC 2015: 6139-6146