Cite
APA Citation
Zhan, N., Wang, S., & Zhao, H. (2017). Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach. Cham : Springer International Publishing Imprint: Springer. http://access.bl.uk/ark:/81055/vdc_100070086258.0x000001