A protocol description language for customizing failure semantics | IEEE Conference Publication | IEEE Xplore