Verification of an Automotive ASIL C Battery Management System Slave Unit | VDE Conference Publication | IEEE Xplore