Larsen, M. 2016. Modelling field robot software using AADL. Technical Report Electronics and Computer Engineering. 4, 25 (May 2016).