Standard Compliant Requirements-Based Development of a Multilevel Battery Controller for Aerospace Applications | IEEE Conference Publication | IEEE Xplore