Raymond Devillers: Factorisation of transition systems. Acta Informatica 55(4): 339-362 (2018)