Slicing Software for Model Construction John HatcliffMatthew B. DwyerHongjun Zheng OriginalPaper Pages: 315 - 353