Full paper accepted at AGILE 2018!