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