A Domain Specific Language in Dependability Analysis | IEEE Conference Publication | IEEE Xplore