An Investigation Of Model-Based Techniques For Automotive Electronic System Development