@TechReport{	  TUD-CS-2013-0180,
  author	= {Markus Aderhold and Alexander Gebhardt and Heiko Mantel},
  title		= {{Choosing a Formalism for Secure Coding: FSM vs. LTL}},
  year		= 2013,
  institution	= {TU Darmstadt},
  number	= {TUD-CS-2013-0180},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2013/TUD-CS-2013-0180-SecureCodingFormalism.pdf}
}