Bibtex

@incollection{2012CISBook,
  author = {Bondavalli, Andrea and Lollini, Paolo and Montecchi, Leonardo},
  title = {{Graphical formalisms for modeling critical infrastructures}},
  booktitle = {Critical In astructure Security: Assessment, Prevention, Detection, Response},
  editors = {Flammini, Francesco},
  publisher = {WIT Press},
  pages = {57-73},
  chapter = {4},
  series = {WIT Transactions on State-of-the-art in Science and Engineering},
  isbn = {978-1-84564-562-5},
  year = {2012}
}

Plain Text
A. Bondavalli, P. Lollini, L. Montecchi. Graphical formalisms for modeling critical infrastructures. In: Critical In astructure Security: Assessment, Prevention, Detection, Response (Ed. by F. Flammini). Chapter 4, pp. 57-73. WIT Press. January 1, 2012.