M. Saksena, O. Wibling, and B. Jonsson. Proceedings of the Theory and practice of software, 14th international
conference on Tools and algorithms for the construction and analysis
of systems, page 18--32. Berlin, Heidelberg, Springer-Verlag, (2008)
P. Papadimitratos, and Z. Haas. IEEE Workshop on Security and Assurance in Ad hoc Networks and 2003
International Symposium on Applications and the Internet, Orlando,
FL, January 28, 2003, (2003)