Package de.fzi.power.specification