Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.

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. 105-122 1996 conf/dsvis/1996 DSV-IS db/conf/dsvis/dsvis1996.html#dAusbourgDR96