https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/MessageExpBodies.html
MessageExpBodies (MDT-OCL Documentation)
mdtocldocumentation
https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/MessageExpBodies._invariant_OneCallOrOneSend.html
MessageExpBodies._invariant_OneCallOrOneSend (MDT-OCL Documentation)
invariantmdtocldocumentation