Added stop button
Added some umls
Added top-sort and refactored model