Podyachev, 2007. Coverage methods in IDEF-0 models verification. SPIIRAS Proceedings. 5 (Oct. 2007), 275-283. DOI:https://doi.org/10.15622/sp.5.17.