KiBaM-Solver A KiBaM solver that allows one to extend Uppaal SMC output with available and bound charge traces and to estimate the battery lifetime.