mcss: Büchi atomata and w-regular languages + image from laste section
mcss: linear temporal logic
zusammenfassung.tex updated with some marginnote macro for marginnotes in red with \note{some note}
mcss: Büchi automata and LTL