Certification of Thread Context Switching. - Guo, Yu; Jiang, Xinyu; Chen, Yiyun (J. Comput. Sci. Technol., 2010)