Add models page with models diagrams
Add EMF documents
Update alloy page with diagrams