Automatic Validation of Design Decision Based on Multiple Analysis Methods Integration | IEEE Conference Publication | IEEE Xplore