@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{FHNSPV11,
  author = 	 {J. Fisher and T.A. Henzinger and D. Nickovic and A.V. Singh and N. Piterman and M.Y. Vardi},
  title = 	 {Dynamic Reactive Modules},
  booktitle = {22nd International Conference on Concurrency Theory},
  pages = 	 {404--418},
  year = 	 {2011},
  volume = 	 {6901},
  series = 	 lncs,
  publisher = springer,
  OPTpdf = {2011/},
  OPTurl = {2009/},  
  abstract = {testing 123...},
  keywords = {Executable Biology},
}