A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. - Rémy Wyss; Frédéric Boniol; Julien Forget; Claire Pagetti (APLAS, 2012)

End-to-end latency computation in a multi-periodic design. - Rémy Wyss; Frédéric Boniol; Claire Pagetti; Julien Forget (SAC, 2013)

Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique. - Rémy Wyss; Frédéric Boniol; Julien Forget; Claire Pagetti (Tech. Sci. Informatiques, 2015)