Verificação formal do FDIR em Smart Grid: DE | DealShopping Deutschland