https://9dok.net/document/zlg5ekjo-lecture-high-level-design-sysml.html