M. Larsen, “Modelling field robot software using AADL”, ECE-TR, bd. 4, nr. 25, maj 2016.