@misc{indiciae1ef9a9c00972, title = {Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug}, author = {Bernhard Rumpe and Christian Berger and Holger Krahn}, year = {2014}, url = {https://arxiv.org/abs/1410.4078}, note = {Source identifier: 1410.4078} }