Cite
MLA Citation
Shuanglong Kan and Zhiqiu Huang. “Detecting safety‐related components in statecharts through traceability and model slicing.” Software, practice & experience, vol. 48, 2018, pp. 428–448. http://access.bl.uk/ark:/81055/vdc_100056808657.0x000053