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