Telelogic TAU is a UML and SysML modeling tool that supports automated code generation and model verification. TAU is made by Telelogic.