Beate Bollig: Symbolic OBDD-Based Reachability Analysis Needs Exponential Space. SOFSEM 2010: 224-234