1
A transformation from requirements engineering into design: the method and the tool.
Book