Michael J. Butler, Michael Leuschel, Stéphane Lo Presti, Phillip Turner: The Use of Formal Methods in the Analysis of Trust (Position Paper). iTrust 2004: 333-339