V. Sengès

Automatic Code Generation From a High-Level Petri Net Based Specification of Dialogue

Philippe A. Palanque, Rémi Bastide, Philippe Palanque, 2007 .

Validating interactive system design through the verification of formal task and system models

Philippe A. Palanque, Rémi Bastide, V. Sengès, 1995, EHCI.