Francisco Rego, Elwin de Weerdt, Eddy van Oort, Erik-Jan van Kampen, Qiping Chu, António M. Pascoal. Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings. Mathematics in Computer Science, 8(3-4):425-442, 2014. [doi]
Abstract is missing.