An investigation of model-based techniques for automotive electronic system development. - Yue Guo 002 (2009)