Package de.fzi.power.specification.impl