MIKE: A Network Operating System for the Distributed Double-Loop Computer Network | IEEE Journals & Magazine | IEEE Xplore