An Automatic Approach to Generating State Diagram from Contract-Based Class | IEEE Conference Publication | IEEE Xplore