Tools for TMW Test Cases