On the development of a high quality software design methodology for automotive applications | IET Conference Publication | IEEE Xplore