Model Validation function

A number of validation rules (constraints) have been created to help improve the integrity of FSM models. For more information, see Model Validation.