Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement | IEEE Journals & Magazine | IEEE Xplore