Robust stutter bisimulation for abstraction and controller synthesis with disturbance - Krook, Jonas; Malik, Robi; Mohajerani, Sahar; Fabian, Martin (Automatica, 2024)