Peter Bishop, Robin Bloomfield and Sofia Guerra, In Proceedings of Workshop on Assurance Cases. Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, pp. 390-395, Florence, Italy, June 2004.

Peter Bishop, Robin Bloomfield, Tim Clement, Sofia Guerra and Claire Jones, n Proceedings SAFECOMP 2003, pp. 63-76, 21-25 Sep, Edinburgh, UK, 2003 (c) Springer Verlag. 

Peter Bishop, Robin Bloomfield, Tim Clement and Sofia Guerra, In Proceedings SAFECOMP 2002, pp. 198-211, 10-13 Sep, Catania, Italy, 2002, (c) Springer Verlag. 

Robin Bloomfield and Sofia Guerra, In Proceedings of the International Conference on Dependable Systems and Networks, DSN 2002, Washington, DC, USA, June 2002.

Sofia Guerra, In Journal of Logic and Computation, Vol. 11, No. 4, pp. 559-578, 2001.

Sofia Guerra, In Teodor Rus, editor, Proceedings of the 8^th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, Iowa City, USA, May 2000.

Sofia Guerra and Anthony Finkelstein, In John C. Dean, Patricia Oberndorf and Mark Vigder, editors, Proceedings of the First Workshop on Ensuring Successful COTS Development, Los Angeles, USA, May 1999