@article{AZTH-Verification2003,
	author = "Alexander Agranovsky and Vadim Zaytsev and Boris Telesnin and Roman Hady",
	title = "{Program Verification using Models}",
	journal = "{Open Systems}",
	year = 2003,
	volume = "12",
	number = "1--2",
	pages = "45--47",
	month = dec,
	note = "In Russian",
	url = "http://www.osp.ru/os/2003/12/183691/",
}