TITLE     : Families of dependable systems:a model checking approach
AUTHOR(S) : Gnesi S
TYPE      : Contribution to book
YEAR      : 2013
CODE      : 277510

*** DO NOT EDIT THIS FILE ***