Coalgebras for Signature Morphisms -- Formal and Visual Modeling -- Nested Constraints