Formal Evaluation of Quality of Service for Data Acquisition. - Hedia B. Ben; Fabrice Jumel; Jean-Philippe Babau (FDL, 2005)