@article{MopOverview,
author = {Meredith, Patrick O'Neil and Jin, Dongyun and Griffith, Dennis and Chen, Feng and Ro\csu, Grigore},
file = {:Users/m/Downloads/meredith2011.pdf:pdf},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
number = {3},
pages = {249--289},
title = {{An {O}verview of the {MOP} {R}untime {V}erification {F}ramework}},
volume = {14},
year = {2012}
}
@incollection{moore,
author = {Moore, Edward F},
booktitle = {Automata Studies},
editor = {Shannon, Claude and McCarthy, John},
file = {:Users/m/Downloads/gedankenexperiments-on-sequential-machines.pdf:pdf},
pages = {129--153},
publisher = {Princeton University Press},
title = {{Gedanken-{E}xperiments on {S}equential {M}achines}},
year = {1956}
}
@book{scala,
author = {Odersky, Martin and Spoon, Lex and Venners, Bill},
edition = {1. Auflage},
publisher = {Artima Incorporation},
title = {{Programming in {S}cala: {A} {C}omprehensive {S}tep-by-step {G}uide}},
year = {2008}
}
@inproceedings{rltl,
author = {Leucker, Martin and S{\'{a}}nchez, C{\'{e}}sar},
booktitle = {Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC)},
editor = {Jones, C B and Liu, Z and Woodcock, J},
pages = {291--305},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Regular {L}inear {T}emporal {L}ogic}},
volume = {4711},
year = {2007}
}
@techreport{bitkom,
author = {Ziegler, Stephan and M{\"{u}}ller, Anne},
file = {:Users/m/Downloads/BITKOM_ES_web.pdf:pdf},
institution = {Bundesverband Informationswirtschaft, Telekommunikation und neue Medien e.V. (BITKOM)},
title = {{Eingebettete {S}ysteme -- {E}in strategisches {W}achstumsfeld f{\"{u}}r {D}eutschland: {A}nwendungsbeispiele, {Z}ahlen und {T}rends}},
year = {2010}
}
@mastersthesis{RltlConv,
author = {Schmitz, Malte},
file = {:Users/m/Downloads/ba_malteschmitz.pdf:pdf},
school = {Universit{\"{a}}t zu L{\"{u}}beck},
title = {{Transformation von regul{\"{a}}rer {L}inearzeit-{T}emporallogik zu {P}arit{\"{a}}tsautomaten}},
type = {Bachelorarbeit},
year = {2012}
}
@unpublished{ptLTL,
annote = {Vorlesung am Formal Systems Laboratory, Department of Computer Science at the University of Illinois at Urbana-Champaign},
author = {Ro\c su, Grigore},
title = {{{A} {M}onitor {S}ynthesis {A}lgorithm for {P}ast {LTL}}},
year = {2007}
}
@misc{codecommit,
annote = {[Online; Zugriff am 03.03.2014]},
author = {Spiewak, Daniel},
howpublished = {\url{http://www.codecommit.com/blog/scala/the-magic-behind-parser-combinators}},
title = {{The {M}agic {B}ehind {P}arser {C}ombinators}},
year = {2009}
}
@phdthesis{Leucker02,
author = {Leucker, Martin},
file = {:Users/m/Downloads/2002-10_1.pdf:pdf},
school = {RWTH Aachen},
title = {{Logics for {M}azurkiewicz {T}races}},
type = {Dissertation},
year = {2002}
}