Shi, Shi, Huang, Xiong, She, 2019. Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications, in: .