Framework for automatic verification of UML design models : application to UML 2.0 interactions