1. Podyachev Coverage methods in IDEF-0 models verification // SPIIRAS Proceedings. 2007. № 5. C. 275-283.