Применение формального языка спецификаций в целях автоматизации тестирования J2ME-приложений // Материалы... 29 ноября- 4 декабря 2004 г. – 2005. – Факультет технической кибернетики, факультет при ЦНИИ РТК