Package de.fzi.power.specification.presentation