TITLE     : Dependability Analysis and Verification for Connected Systems
AUTHOR(S) : Di Giandomenico F, Kwiatkowska M, Martinucci M, Masci P, Qu H
TYPE      : Conference article
YEAR      : 2010
CODE      : 181342

*** DO NOT EDIT THIS FILE ***