On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices