An Empirical Study on Modeling Testing Requirements for Safety-Critical Software. - Wenyao Xue; Qingwei Ren; Yichen Wang (QRS Companion, 2024)