David Navarre, Philippe A. Palanque. The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?. In T. C. Nicholas Graham, Gaëlle Calvary, Philip D. Gray, editors, Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , EICS 2009, Pittsburgh, PA, USA, July 15-17, 2009. pages 155-156, ACM, 2009. [doi]
Abstract is missing.