Cite
MLA Citation
Swarup Mohalik et al.. “Automatic test case generation from Simulink/Stateflow models using model checking.” Software testing, verification & reliability, vol. 24, n.d., pp. 155–180. http://access.bl.uk/ark:/81055/vdc_100024776509.0x00001f