Larsen, M. Modelling Field Robot Software Using AADL. ECE-TR 2016, 4.