Achieving dependability in mission-critical operating systems through adaptability and large-scale functional integration | IEEE Conference Publication | IEEE Xplore