Model Based Development & Verification - BMS at Bosch · Hyriko