AMSMF2 — Not all expected ESE state changes are described

Not all expected ESE state changes are described State changes that are initiated by the managed process are not described in the state diagram. For instance a managed process can terminate with returning a code indicating an error. There is no state change from RUNNING to ERROR however.

Add a state change from RUNINNG to ERROR. This state change doesn't imply a new method since it's caused by the crash of the process.
Specify that the state change "STOP" can be initiated by the process itself.