Temporal Replication of Messages for Adaptive Systems using a Holistic Approach. - Alberto Ballesteros; Manuel Barranco; Sergi Arguimbau; Marc Costa; Julián Proenza (ETFA, 2019)

Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule. - Daniel Bujosa; Sergi Arguimbau; Patricia Arguimbau; Julián Proenza; Manuel Barranco (ETFA, 2019)