Formal methods in industrial dependable systems design — The TTTech example | IEEE Conference Publication | IEEE Xplore