Improve documentation of SBE process

Currently, verification is not shown, and validation is suggested as leading to improvements on the supervisor model, while any issues found during validation should lead to changes to the plant and requirement models.