Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. - Florence Maraninchi; Fabien Gaucher (AADEBUG, 2000)