Владимирова, Т. Л. Формальное представление моделей систем безопасности / Т. Л. Владимирова, С. В. Пилько // Наука - образованию, производству, экономике : материалы Второй международной научно-технической конференции : в 2 т. / Белорусский национальный технический университет ; редкол.: Б. М. Хрусталев, Ф. А. Романюк, А. С. Калиниченко. – Минск : БНТУ, 2004. – Т. 1. – С. 204-207.