A Template-Based Methodology for the Specification and Automated Composition of Performability Models | IEEE Journals & Magazine | IEEE Xplore