Bruno d Ausbourg, Guy Durrieu, Pierre Roché. Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. In François Bodart, Jean Vanderdonckt, editors, Design, Specification and Verification of Interactive Systems 96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. pages 105-122, Springer, 1996.
Abstract is missing.