https://5dok.org/document/zkw7o1lp-executable-model-behavioural-analyses-lisa-mission.html