Lightweight Contracts for Safety-Critical Automotive Systems. - Bernhard Kaiser; Stefan Sonski; Suryo Buono; Hauke Petersen; Justyna Zander (GI-Jahrestagung, 2015)