Development and Formal Verification of TTCAN | Kaicus Deutschland