Development And Formal Verification Of Ttcan door Gabriel Leen