Contractual operating system-design and problems | IEEE Conference Publication | IEEE Xplore