https://123dok.net/document/oy864rrq-verification-aadl-models-timed-abstract-state-machines.html