Massimo Merro, Eleonora Sibilio: A calculus of trustworthy ad hoc networks. Formal Aspects Comput. 25(5): 801-832 (2013)