Harold W. Thimbleby. Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models. 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 221-230, ACM, 2009. [doi]
Abstract is missing.