Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. - Pascal Raymond; Yvan Roux (SLAP@ETAPS, 2002)

Describing and Executing Random Reactive Systems. - Pascal Raymond; Erwan Jahier; Yvan Roux (SEFM, 2006)

Specifying and Executing Reactive Scenarios With Lutin. - Pascal Raymond; Yvan Roux; Erwan Jahier (SLA++P@ETAPS, 2007)

Lutin: A Language for Specifying and Executing Reactive Scenarios. - Pascal Raymond; Yvan Roux; Erwan Jahier (EURASIP J. Embed. Syst., 2008)