A framework for semi-automated formalization of automotive requirements: Development and Evaluation | DealShopping Deutschland