Fig. 1From: Functional test data generation for Simulink-like modelsSimulink-like modelsBack to article page