• Mireille Samia, Michael Leuschel
    Pie Tree Visualization.
    In Proceedings SEKE, Knowledge Systems Institute, 400--405, 2009.
    • Mireille Samia, Harald Wiegard, Jens Bendisposto, Michael Leuschel
      High-Level versus Low-Level Specifications: Comparing B with Promela and ProB with Spin.
      In Proceedings TFM-B 2009, Attiogbe and Mery, APCB, 2009.


    • Michael Leuschel, Mireille Samia, Jens Bendisposto, Li Luo
      Easy Graphical Animation and Formula Viewing for Teaching B.
      In The B Method: from Research to Teaching, C. Attiogbé and H. Habrias, Lina, 17--32, 2008.
    • Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia
      La validation de modèles Event-B avec le plug-in ProB pour RODIN.
      In Technique et Science Informatiques, 27, 8, 1065-1084, 2008.