Integrated all required references and fixed a few mistakes.

main.tex

@@ -373,7 +373,7 @@ analog zu \autoref{def:kaffeekassentransition}.
   für \(k,l \in \naturals_{\leq n}\).
 \end{defi}
 
-\begin{satz}[Bilanzierender Kaffeekassenexplikationssatz]
+\begin{satz}[Expliziter Kaffeekassenbilanzierungssatz]
   Sei \(n \in \naturals\), \(K\) ein \(n\)-Kaffee\-kränzchen
   und \( \kappa \) eine explizite \(K\)-Kaffeekasse.
   Dann existiert eine entsprechende
@@ -562,6 +562,6 @@ darüber Köpfe zu zerbrechen.
 %% References
 
 \bibliographystyle{plain}
-\bibliography{references,pub-rts,rts-arbeiten}
+\bibliography{references}
 
 \end{document}

references.bib

@@ -1,3 +1,14 @@
+@Article{BoldtTvH07,
+  author =   {Marian Boldt and Claus Traulsen and Reinhard von Hanxleden},
+  title =    {Worst Case Reaction Time Analysis of Concurrent Reactive Programs},
+  pages = {65--79},
+  year =     2008,
+  volume = 203,
+  number = 4,
+  journal = {Electronic Notes in Theoretical Computer Science},
+  month =    jun
+}
+
 @incollection{ FasanoTP00,
   author={Fasano, Antonio and Talamucci, F. and Petracco, M.},
   title={The Espresso Coffee Problem},
@@ -16,6 +27,14 @@
   publisher={Praeger Publishers}
 }
 
+@Misc{Heinold10,
+  author =  {Mirko Heinold},
+  title =   {{S}ynchronous {J}ava},
+  note =  {Bachelor thesis, Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
+  year =    {2010},
+  month =  sep,
+}
+
 @misc{rfc2324,
   author="Masinter, L.\ ",
   title="{Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0)}",