@InBook{ps22,
author = {Paulev{\'e}, Lo{\"i}c and Sen{\'e}, Sylvain},
title = {{Systems biology modelling and analysis: formal bioinformatics methods and tools}},
chapter = {{Boolean networks and their dynamics: the impact of updates}},
publisher = {Wiley},
year = {2022},
pages = {173--250},
}