@incollection{DBLP:series/natosec/HermannsZ11,
  author    = {Holger Hermanns and
               Lijun Zhang},
  title     = {From Concurrency Models to Numbers - Performance and Dependability},
  booktitle = {Software and Systems Safety - Specification and Verification},
  year      = {2011},
  pages     = {182-210},
  ee        = {http://dx.doi.org/10.3233/978-1-60750-711-6-182},
  crossref  = {DBLP:series/natosec/30},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:series/natosec/30,
  editor    = {Manfred Broy and
               Christian Leuxner and
               Tony Hoare},
  title     = {Software and Systems Safety - Specification and Verification},
  booktitle = {Software and Systems Safety - Specification and Verification},
  publisher = {IOS Press},
  series    = {NATO Science for Peace and Security Series - D: Information
               and Communication Security},
  volume    = {30},
  year      = {2011},
  isbn      = {978-1-60750-710-9},
  ee        = {http://dx.doi.org/10.3233/978-1-60750-711-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}