@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{FPV11,
   author = {J. Fisher and N. Piterman and M.Y. Vardi},
   title = {The Only Way Is Up},
   year = {2011},
   booktitle = {17th International Symposium on Formal Methods},
  pages = 	 {3-11},
  year = 	 {2011},
  volume = 	 {6664},
  series = 	 lncs,
  publisher = springer,
  keywords = {Executable Biology}
}