Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications. - Jian Shi; Jianqi Shi; Yanhong Huang; Jiawen Xiong; Qing She (REFSQ Workshops, 2019)