Hasan: A Generic Auditing Framework for Compliance Verification of Internet Service Level Agreements; Diss. ETH Zurich No. 16873, Shaker, Aachen, Germany, October 2006, ISBN 978-3-8322-6201-3.