A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. In Leon Alkalai, Timothy Tsai, Tomohiro Yoneda, editors, 17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011. pages 164-173, IEEE Computer Society, 2011. [doi]