Ontology-driven metamodeling towards hypervisor design automation: microkernel infrastructure - Martins, José Carvalho (2018)