Package de.fzi.power.specification.provider