model parsing draft#254

filipeom merged 4 commits intoformalsec:mainformalsec/smtml:mainfrom

redianthus:model-parsingredianthus/smtml:model-parsingCopy head branch name to clipboard