Model checking pushdown systems - Schwoon, Stefan (Verfasser) (Technische Universität München, 2002)