Matthias Biehl, De-Jiu Chen, Martin Törngren. Integrating safety analysis into the model-based development toolchain of automotive embedded systems. In Jaejin Lee, Bruce R. Childers, editors, Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010. pages 125-132, ACM, 2010. [doi]
Abstract is missing.