Updated diagrams (and upgraded Modelio)