doi dblp A formal method for rule analysis and validation in distributed data aggregation service Vlad Serbanescu | Florin Pop | Valentin Cristea | Gabriel Antoniu 2015 Volume 18 Issue 6