Yi-Chen Wu, Chin-Feng Fan: Automatic test case generation for structural testing of function block diagrams. Inf. Softw. Technol. 56(10): 1360-1376 (2014)