The BTC Embedded Systems AG was established in 1999 with the mission of providing complex and powerful mathematical verification and testing methods for real-world model-based software development projects. Among their most notable clients are Ford, Bosch, and TOYOTA.