doi dblpA formal method for rule analysis and validation in distributed data aggregation serviceVlad Serbanescu | Florin Pop | Valentin Cristea | Gabriel Antoniu2015 Volume 18 Issue 6