Battery management system simulation using SystemC