Building Reconfigurable Component-Based OS with THINK | IEEE Conference Publication | IEEE Xplore