diff --git a/doc/tl/tl.bib b/doc/tl/tl.bib
index c78e376a2..931ffbb1d 100644
--- a/doc/tl/tl.bib
+++ b/doc/tl/tl.bib
@@ -9,7 +9,10 @@
   booktitle	= {Proceedings of the 18th International Conference on Tools
 		  and Algorithms for the Construction and Analysis of Systems
 		  (TACAS'12)},
-  note		= {To appear}
+  publisher	= {Springer},
+  series	= {Lecture Notes in Computer Science},
+  volume	= {7214},
+  pages         = {95--109}
 }
 
 @InProceedings{	  beer.01.cav,