update tc in the bdd
Merge branch 'master' of https://github.com/tferrand/ieee-cas