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)
H. Idoudi, M. Molnar, A. Belghith, and B. Cousin. Information and Communications Technology, 2007. ICICT 2007. ITI
5th International Conference on, page 327 -332. (December 2007)