An aircraft assembly process formalism and verification method based on semantic modeling and MBSE | Publicación