A study of approaches for model based development of an automotive driver information system | IEEE Conference Publication | IEEE Xplore