Implement get models#96

maditaP wants to merge 12 commits into

moves-rwth:mainmoves-rwth/caesar:mainfrom

maditaP:implement-get-modelsmaditaP/caesar:implement-get-modelsCopy head branch name to clipboard