BTC Embedded Systems AG was founded in 1999 with the mission of making complex and powerful mathematical verification and testing methods available for real model-based software development projects. Your biggest customers include: Ford, Bosch and TOYOTA.