Energieverbrauchsanalyse mittels impliziter Pfadaufzählung und genetischer Algorithmen.