You are about to access our book library "[(Formal Engineering for Industrial Software Development : Using the SOFL Method)] [By (author) Shaoying Liu] published on (December, 2010) full version" .