00346nas a2200121   4500000000100000000000100001008004100002260003600043100002000079700002300099700002000122245008200142       2014                            d  cSeptember 1-2aGrenoble, France1 aSimona Bernardi1 aLacramioara Dranca1 aJosé Merseguer00aModelling and Verification of Survivability Requirements for Critical Systems