Secure Engineering and Modelling of a Metering Devices System. - José Fran. Ruiz; Marcos Arjona; Antonio Mana; Niklas Carstens (ARES, 2013)