Towards compositional verification of synchronous reactive systems. - Sarah Chabane; Rabéa Ameur-Boulifa; Mezghiche Mohamed (Int. J. Crit. Comput. Based Syst., 2021)