@Article{ broy.ea:engineering:2007, author = {M. Broy and I. Kr{\"u}ger and A. Pretschner and C. Salzmann}, journal = {Proceedings of the IEEE}, language = {USenglish}, month = {February}, number = 2, pages = {356--373}, title = {Engineering Automotive Software}, volume = 95, year = 2007, user = {pretscha} }