Towards a formal notion of impact metric for cyber-physical attacks