Correction History

---

• [19/11/2007] in User-Guide-4-0
• P.38, Fig.18, cspF_Int_choice_right: The process Q1 in the second refinement was corrected to Q2.