https://9dok.net/document/yng0559l-sysml-to-nusmv-model-transformation-via-object-orientation.html