Static Slicing of Reactive Programs. - Aditya Rajeev Kulkarni; S. Ramesh 001 (SCAM, 2003)

Slicing tools for synchronous reactive programs. - S. Ramesh 001; Aditya Rajeev Kulkarni; Viraj Kamat (ISSTA, 2004)