--- a/Journal/document/root.bib	Thu Jun 20 23:28:26 2013 -0400
+++ b/Journal/document/root.bib	Tue Feb 25 20:01:47 2014 +0000
@@ -1,3 +1,14 @@
+@INPROCEEDINGS{WINDOWSNT, 
+  author={L.~Budin and L.~Jelenkovic}, 
+  booktitle={Proc.~of the IEEE International Symposium on 
+     Industrial Electronics (ISIE)}, 
+  title={{T}ime-{C}onstrained {P}rogramming in {W}indows {NT} {E}nvironment}, 
+  year={1999},
+  volume={1}, 
+  pages={90--94}, 
+  }
+
+
 @article{seL4,
   author =  {G.~Klein and
                J.~Andronick and