Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta: Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach. FM (2) 2026: 550-575