H. Ledang, and J. Souquières. GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 641-648. Konstanz UVK-Verl.-Ges., (2001)
A. Lanoix, D. Ossami, and J. Souquières. Trustworthy Software, volume 3 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)