Behavioral consistency validation of UML diagramsB. LitvakS. Tyszberowiczet al.2003SEFM 2003Conference paper