LeanBench: comparing software stacks for batch and query processing of IoT data. - João M. P. Moreira; Helena Galhardas; Miguel L. Pardal (ANT/SEIT, 2018)