Text this: Test Synthesis from UML Models of Distributed Software.