Jeremy Bryans John S. Fitzgerald Proceedings Second Workshop on Formal Aspects of Virtual Organisations FAVO http://dx.doi.org/10.4204/EPTCS.16 2009 EPTCS 16 db/series/eptcs/eptcs16.html