Detecting safety-related components in statecharts through traceability and model slicing

Shuanglong Kan, Zhiqiu Huang. Detecting safety-related components in statecharts through traceability and model slicing. Software: Practice and Experience, 48(3):428-448, 2018. [doi]

Abstract

Abstract is missing.