Explicit representation of exception handling in the development of dependable component-based systems | IEEE Conference Publication | IEEE Xplore