Marek Jersak, Kai Richter 0001, Razvan Racu, Jan Staschulat, Rolf Ernst, Jörn-Christian Braam, Fabian Wolf. Formal Methods for Integration of Automotive Software. In Ahmed Amine Jerraya, Sungjoo Yoo, Diederik Verkest, Norbert Wehn, editors, Embedded Software for SoC. pages 11-24, Kluwer / Springer, 2003. [doi]
Abstract is missing.