selected publications conference paper Managing Complexity of Automotive Electronics Using the EAST-ADL. . 2007