Using Model-Based Design for Automotive Systems Engineering - Requirements Analysis of the Power Window Example