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)
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)