M. Saksena, O. Wibling, и B. Jonsson. Proceedings of the Theory and practice of software, 14th international
conference on Tools and algorithms for the construction and analysis
of systems, стр. 18--32. Berlin, Heidelberg, Springer-Verlag, (2008)
H. Idoudi, M. Molnar, A. Belghith, и B. Cousin. Information and Communications Technology, 2007. ICICT 2007. ITI
5th International Conference on, стр. 327 -332. (декабря 2007)