M. Larsen, “Modelling field robot software using AADL”, ECE-TR, vol. 4, no. 25, May 2016.