Verification of a dependability model of IT services associated with social and economic infrastructure | IEEE Conference Publication | IEEE Xplore