OWL and OWL-S for Dependability-Explicit Service-Centric Computing | IEEE Conference Publication | IEEE Xplore