Design and Implementation of the MTX Operating System - Wang, K. C. (Springer International Publishing : Imprint: Springer, 2015)