@InProceedings{minix3:edcc06,
  author = 	 {Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, and Andrew S. Tanenbaum},
  title = 	 {Construction of a Highly Dependable Operating System},
  booktitle = 	 {Proc. of EDCC'06},
  year =	 2006,
  address =	 {Coimbra. Portugal},
  month =	 {October}
}