Design and Specification of the Minimal Subset of an Operating System Family | IEEE Journals & Magazine | IEEE Xplore