publicaciones seleccionadas panel de conferencia REAL-T: Time Modularization in Reactive Distributed Applications 2018-8-19