Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques | IEEE Conference Publication | IEEE Xplore