@phdthesis{leuckerLogicsMazurkiewiczTraces2002,
  title = {Logics for {{Mazurkiewicz Traces}}},
  author = {Leucker, Martin},
  year = {2002},
  file = {/Users/m/Zotero/storage/DGHJTJGE/Leucker - 2002 - Logics for Mazurkiewicz Traces.pdf},
  school = {RWTH Aachen},
  type = {{{PhD}} Thesis}
}

@inproceedings{leuckerRegularLinearTimeTemporal2010,
  title = {Regular {{Linear}}-{{Time Temporal Logic}}},
  booktitle = {2010 17th {{International Symposium}} on {{Temporal Representation}} and {{Reasoning}}},
  author = {Leucker, Martin and Sanchez, Cesar},
  year = {2010},
  month = sep,
  pages = {3--5},
  publisher = {{IEEE}},
  address = {{Paris, France}},
  doi = {10.1109/TIME.2010.29},
  file = {/Users/m/Zotero/storage/3HMTI647/Leucker and Sanchez - 2010 - Regular Linear-Time Temporal Logic.pdf},
  isbn = {978-1-4244-8014-2}
}

@article{meredithOverviewMOPRuntime2012,
  title = {An Overview of the {{MOP}} Runtime Verification Framework},
  author = {Meredith, Patrick O'Neil and Jin, Dongyun and Griffith, Dennis and Chen, Feng and Ro{\c s}u, Grigore},
  year = {2012},
  month = jun,
  volume = {14},
  pages = {249--289},
  issn = {1433-2779, 1433-2787},
  doi = {10.1007/s10009-011-0198-6},
  file = {/Users/m/Zotero/storage/WKTLQI6S/Meredith et al. - 2012 - An overview of the MOP runtime verification framew.pdf},
  journal = {International Journal on Software Tools for Technology Transfer},
  language = {en},
  number = {3}
}

@incollection{mooreGedankenExperimentsSequentialMachines1956,
  title = {Gedanken-{{Experiments}} on {{Sequential Machines}}},
  booktitle = {Automata {{Studies}}},
  author = {Moore, Edward F.},
  editor = {Shannon, Claude and McCarthy, John},
  year = {1956},
  pages = {129--153},
  publisher = {{Princeton University Press}},
  file = {/Users/m/Zotero/storage/SFQ8R56G/Moore - 1956 - Gedanken-Experiments on Sequential Machines.pdf},
  isbn = {978-1-4008-8261-8},
  language = {en}
}

@book{oderskyProgrammingScalaComprehensive2008,
  title = {{Programming in Scala: A Comprehensive Step-by-step Guide}},
  shorttitle = {{Programming in Scala}},
  author = {Odersky, Martin and Spoon, Lex and Venners, Bill},
  year = {2008},
  month = nov,
  edition = {Version ed. Edition},
  publisher = {{Artima Inc}},
  address = {{Mountain View, Calif}},
  abstract = {Programming in Scala is the definitive book on Scala, the new language for the Java Platform that blends object-oriented and functional programming concepts into a unique and powerful tool for developers. Starting with the fundamental elements of the language, this book introduces Scala and the ideas behind it from the practitioner's perspective, and describes advanced language features that can make you a better, more productive developer.},
  isbn = {978-0-9815316-0-1},
  language = {Englisch}
}

@misc{rosuMonitorSynthesisAlgorithm2007,
  title = {A {{Monitor Synthesis Algorithm}} for {{Past LTL}}},
  author = {Roșu, Grigore},
  year = {2007},
  publisher = {{Vorlesung am Formal Systems Laboratory, Department of Computer Science at the University of Illinois at Urbana-Champaign}}
}

@phdthesis{schmitzTransformationRegularerLinearzeitTemporallogik2012,
  title = {Transformation von Regul\"arer {{Linearzeit}}-{{Temporallogik}} Zu {{Parit\"atsautomaten}}},
  author = {Schmitz, Malte},
  year = {2012},
  file = {/Users/m/Zotero/storage/JLQG4S39/Schmitz - 2012 - Transformation von regulärer Linearzeit-Temporallo.pdf},
  school = {Universit\"at zu L\"ubeck},
  type = {Bachelor Thesis}
}

@misc{spiewakMagicParserCombinators2009,
  title = {The {{Magic Behind Parser Combinators}} - {{Code Commit}}},
  author = {Spiewak, Daniel},
  year = {2009},
  month = mar,
  file = {/Users/m/Zotero/storage/6JB5RUG6/the-magic-behind-parser-combinators.html}
}

@techreport{zieglerEingebetteteSystemeStrategisches2010,
  title = {Eingebettete {{Systeme}} \textendash{} {{Ein}} Strategisches {{Wachstumsfeld}} F\"ur {{Deutschland}}: {{Anwendungsbeispiele}}, {{Zahlen}} Und {{Trends}}},
  author = {Ziegler, Stephan and M{\"u}ller, Anne},
  year = {2010},
  institution = {{Bundesverband Informationswirtschaft, Telekommunikation und neue Medien e.V. (BITKOM)}},
  file = {/Users/m/Zotero/storage/ZF323QPN/Ziegler and Müller - 2010 - Eingebettete Systeme – Ein strategisches Wachstums.pdf}
}