1. Department of Informatics, University of Oslo, Norway Norwegian Defence Research Establishment, Kjeller, Norway tonnesfn@ifi.uio.no
2. Research School of Computer Science, Australian National University, ACT, Australia charles.martin@anu.edu.au
3. Cyber-Physical Systems Program, CSIRO, QLD, Australia david.howard@data61.csiro.au
4. RITMO, Department of Informatics, University of Oslo, Norway jimtoer@ifi.uio.no
5. RITMO, Department of Informatics, University of Oslo, Norway kyrrehg@ifi.uio.no