@inproceedings{BHKS07,
  author      = {Dependability and Survivability Evaluation of a Water
  Distribution Process with Arcade},
  author       = {S. Roolvink and A.K.I. Remke and M.I.A.  Stoelinga}
  year        = {2009},
  booktitle   = {Proceedings of the Eighth International Workshop on 
                 Performability Modeling of Computer and Communication Systems
		   (PMCCS'09)},
}