Larsen M. Modelling field robot software using AADL. ECE-TR [Internet]. 2016 May 19 [cited 2025 Apr. 15];4(25). Available from: https://tidsskrift.dk/ece/article/view/23475