Flush: a system development tool based on scade/lustre. - Jan Mikác; Paul Caspi (FMICS, 2005)

Raffinement et preuves de systèmes Lustre. (Refinements and Proofs of Lustre Systems). - Jan Mikác (2005)

Multimedia Authoring for Communities of Teachers. - Agnès Guerraz; Cécile Roisin; Jan Mikác; Romain Deltour (Int. J. Web Based Learn. Teach. Technol., 2007)

An export architecture for a multimedia authoring environment. - Jan Mikác; Cécile Roisin; Bao Le Duc (ACM Symposium on Document Engineering, 2008)

Flush: an example of development by refinements in SCADE/Lustre. - Jan Mikác; Paul Caspi (Int. J. Softw. Tools Technol. Transf., 2009)