O valor do parâmetro MAXIMUM_SEQUENCE_STATES não é válido no modelo MSC '%{modelname/}'.