TY - RPRT A1 - Langendörfer, Peter A1 - Piotrowski, Krzysztof A1 - Panic, Goran A1 - Sojka, A. A1 - Grilo, Antonio A1 - Barreiros d'Almeida Pereira, P. R. T1 - Specification and Testing of the Secure Middleware Architecture with an Energy Management System Y1 - 2011 ER -