Simon Samwel Msanjila Hamideh Afsarmanesh Specification of the TrustMan System for Assisting Management of VBEs. 34-43 2007 conf/trustbus/2007 TrustBus http://dx.doi.org/10.1007/978-3-540-74409-2_6 db/conf/trustbus/trustbus2007.html#MsanjilaA07