TITLE     : A uniform approach to security and fault-tolerance specification and analysis
AUTHOR(S) : Lenzini G, Martinelli F, Matteucci I, Gnesi S
TYPE      : Contribution to book
YEAR      : 2009
CODE      : 44248

*** DO NOT EDIT THIS FILE ***