Electric Vehicle Conversion Software Safety Study by Mean of Model Based System Design (MBSD) Approach | IEEE Conference Publication | IEEE Xplore