Anjali Joshi, Mats Per Erik Heimdahl. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In Rune Winther, Bjørn Axel Gran, Gustav Dahll, editors, Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings. Volume 3688 of Lecture Notes in Computer Science, pages 122-135, Springer, 2005. [doi]
Abstract is missing.