@techreport{, author = {Feilkas, Martin and H{\"{o}}lzl, Florian and Pfaller, Christian and Rittmann, Sabine and Sch{\"{a}}tz, Bernhard and Schwitzer, Wolfgang and Sitou, Wassiou and Spichkova, Maria and Trachtenherz, David}, title = {A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study}, year = {2011}, month = feb, timestamp = 2011.02.11, school = {Technische Universit{\"{a}}t M{\"{u}}nchen}, abstract = {This technical report advances the methodology for the model-based development of automotive systems that was already defined in [FFH + 09], which was evaluated by developing an Adaptive Cruise Control (ACC) system with Pre-Crash Safety (PCS) functionality.}, keywords = {AutoFOCUS3, model-based testing, case study, model-based systems engineering, MbSE}, url = {https://mediatum.ub.tum.de/1094230}, }