v04-l1-derivation : 
v04-l1-specialization : 
v04-l2-checkAssert : 
v04-l1-inheritAccess : 
v04-l1-umlRules : 
v04-l2-checkUML : 
v04-l1-composition : 
v04-l1-umlRules2 : 
v04-l2-checkAllowed : 
v04-l3-checkAllowed :