@incollection{wiley-chapter2011,
  author = 	 {D. Bo\v{s}na\v{c}ki and P.A.J. Hilbers and R.S. Mans and
                  E.P. de Vink}
  title = 	 {Chapter 39: Modeling and Analysis of Biological Networks 
                  with Model Checking},
  booktitle = 	 {Algorithms in Computational Molecular Biology: Techniques, 
                  Approaches and Applications},
  editor = 	 {M. Elloumi and A.Y. Zomaya},
  publisher = 	 {Wiley},
  series = 	 {Wiley Series in Bioinformatics},
  volume =       {1},
  pages =        {915--940},
  year =         {2011}
}