Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. - Post, Amalinda; Menzel, Igor; Hoenicke, Jochen; Podelski, Andreas (Requirements Engineering, 2012)