Formal Methods for Integration of Automotive Software. - Marek Jersak; Kai Richter 001; Razvan Racu; Jan Staschulat; Rolf Ernst; Jörn-Christian Braam; Fabian Wolf (Embedded Software for SoC, 2003)

Formal Methods for Integration of Automotive Software. - Marek Jersak; Kai Richter 001; Rolf Ernst; Jörn-Christian Braam; Zheng-Yu Jiang; Fabian Wolf (DATE, 2003)

Certifiable Software-Integration for Engine Electronics. - Marek Jersak; Kai Richter 001; Rolf Ernst; Jörn-Christian Braam; Zheng-Yu Jiang; Fabian Wolf (MBMV, 2003)

Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. - Jan Staschulat; Jörn-Christian Braam; Rolf Ernst; Thomas Rambow; Rainer Schlör; Rainer Busch (ISoLA, 2006)