Model Mod0{ Model Mod1{ Node A{} } Node B{} } Mod0 m0{ Model Mod1 m1{ A a0{} } Model Mod1 m2{ A a1{} } }