Automated Enumeration of Reconfigurable Architectures for Thermal Management Systems in Battery Electric Vehicles. - Reihaneh Jahedan; Satya R. T. Peddada; Mark Jennings; Sunil Katragadda; James T. Allison; Nenad Miljkovic (CoRR, 2025)