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