https://123dok.net/document/6qmd667q-on-introducing-built-in-test-for-software-components-in-aadl-models.html