TITLE     : Towards automated dependability analysis of dynamically connected
AUTHOR(S) : Masci P, Martinucci M, Di Giandomenico, F
TYPE      : Conference article
YEAR      : 2011
CODE      : 206266

*** DO NOT EDIT THIS FILE ***