https://1library.org/document/qvvklvdq-formalisation-sysml-design-models-analysis-strategy-using-refinement.html