Interoperability Among UML Tools: an Industrial Case Study