Самунь В. С. Разработка расширения фреймворка NModel для возможности проверки темпоральных свойств / В. С. Самунь, И. Ю. Бурдова // Современные проблемы математики : тезисы Международной (43-й Всероссийской) молодежной школы-конференции, 29 января - 5 февраля 2012 г. / РАН, УрО, Институт математики и механики. - Екатеринбург, 2012. - С. 238-240.