Ashlie B. Hocking, M. Anthony Aiello, John C. Knight. Static analysis of physical properties in Simulink models. In 2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015. pages 8-11, IEEE, 2015. [doi]
Abstract is missing.