Power Grid Verification door Denis Kouroussis