A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.

Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin

Browse the full TASE paper archive.