Design and Implementation of the MTX Operating System - Wang (Springer International Publishing, 2015)