Model for fault tolerance and policy from RM-ODP expressed in UML/OCL | IEEE Conference Publication | IEEE Xplore