Full paper accepted at AGILE 2019!