Model-driven software development and verification solutions for safety critical battery management systems: a quantitative evaluation of probabilistic inference & artificial intelligence methods. - Christian Fleischer 002 (2020)