Statistics for Model Based Automotive System Design: A Power Window Controller Case Study