[3]
The paragraph and the notes
(specifying rights/rules already granted by omission) are IMHO a long way of
stating
that:
Unless otherwise specified, using non standard
mechanisms, an assertion
violation occurrence should not solely determine a stop of the model execution
if its
severity level is less than FAILURE.
The report paragraph should not rely on the time the report is
"displayed" but on the
report statement "evaluation". Something like:
Unless otherwise specified, using non standard
mechanisms, a report statement
evaluation should not solely determine a stop in model execution if its
severity level is less than FAILURE.