Formal Verification of Simulink (en Inglés)

Zhan, Naijun ; Wang, Shuling ; Zhao, Hengjun · Springer