Coherent modal transition systems refinement - Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania (Journal of logical and algebraic methods in programming, 2024)