updated zusammenfassung.tex with upgreek
mcss: Partial Order Reduction