Ontology-based user requirements decomposition for component selection for highly available systems | IEEE Conference Publication | IEEE Xplore