part4共7个part英文ThisbookisintroductiontoSystemCanditsuseforsystem-leveldesign,modeling,andrefinement.ThenbookisbasedonSystemCversion2.0asdefinedbythedocuments.