K. Tadano, J. Xiang, M. Kawato, and Y. Maeno. Computer Safety, Reliability, and Security, volume 6894 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2011)
K. Tadano, J. Xiang, M. Kawato, and Y. Maeno. Proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, page 296--309. Berlin, Heidelberg, Springer-Verlag, (2011)