Automatic Test Case Generation with State Diagram for Validating the Solar Integrated System Book chapter (March 2017)