Preliminary battery pack design methodology based on interval constraint satisfaction problem resolution and feasible domain analysis | Synapse