Trustworthy Global Computing - Pierre Ganty, Michele Loreti (Springer, 2016)