Sebastian Siegl, Kai-Steffen Jens Hielscher, Reinhard German, Christian Berger. Formal specification and systematic model-driven testing of embedded automotive systems. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 118-123, IEEE, 2011. [doi]
Abstract is missing.