البحث:

السلام عليكم
ممكن المقالات التالية
Model checking security policy model using both UML static and dynamic diagramshttp://dl.acm.org/citation.cfm?id=2070451

Formal verification of UML state...