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