a Papyrus DSML implementing the Sysml 1.4 OMG standard.
Note: failures are anticipated and checked for with assertions while errors are unanticipated.