Circuit Design by Refinement in EventB1. - Stefan Hallerstede; Yann Zimmermann (FDL, 2004)

Component Reuse in B Using ACL2. - Yann Zimmermann; Diana Toma (ZB, 2005)

Modélisation et développement formel de circuits électroniques. (Modelling and formal development of electronic circuits). - Yann Zimmermann (2006)