High Assurance Services Computing - Zhang, Liang-Jie; Paul, Raymond; Dong, Jing; Dong, Jing; Paul, Raymond; Zhang, Liang-Jie (Springer US, 2009)