1. Lecture Notes in Computer Science;I. Bruckner,2005
2. Clark, D.: Amorphous Slicing for EFSMs. In: PLID 2007 (2007)
3. Lecture Notes in Computer Science;L. Ilie,2005
4. Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of State-based Models. In: ICSM 2003, 19th IEEE International Conference on Software Maintenance. IEEE Press, Los Alamitos (2003)
5. Lano, K.: Constraint-Driven Development. Information and Software Technology 50, 406–423 (2008)