Podyachev, “Coverage methods in IDEF-0 models verification”, SP, no. 5, pp. 275-283, Oct. 2007.