A Gentle Introduction to Verification of Parameterized Reactive Systems. - Nicolas Féral; Alain Giorgetti (FMTea, 2023)