1. Real-Time and Embedded Computing Systems Research Center, Porto, Portugal
2. Data61 Business Unit, Commonwealth Scientific and Industrial Research Organization, Canberra, Australia
3. Computer Engineering, Polytechnic Institute of Porto, Porto, Portugal
4. Ubiquitous Mobile Networking, University of Sydney, Sydney, Australia