Calculation of COBIT metrics using a formal ontology | IEEE Conference Publication | IEEE Xplore