Reactive Systems by Ing, Anna Ingolfsdottir & Luca Aceto