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