A UML-Based Domain Specific Modeling Language for the Availability Management Framework | IEEE Conference Publication | IEEE Xplore