Computing abstractions of nonlinear systems - Gunther Reißig (2009)