Modular Design of Man-Machine Interfaces with Larissa. - Karine Altisen; Florence Maraninchi; David Stauch (SC@ETAPS, 2006)

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. - Karine Altisen; Florence Maraninchi; David Stauch (Sci. Comput. Program., 2006)

Modifying Contracts with Larissa Aspects. - David Stauch (SLA++P@ETAPS, 2007)

Formal Analysis Tools for the Synchronous Aspect Language Larissa. - David Stauch (EURASIP J. Embed. Syst., 2008)