Model checking pushdown systems - Schwoon, Stefan (Verfasser) (2002)