Verifying QoS properties of trusted data sensing. - Kaliappa Ravindran; Arun Adiththan; Anuja Prabhakar (DEBS, 2014)