Model Transformations As a Strategy to Automate Model-Based Testing - a Tool and Industrial Case Studies