Automated integrative analysis of state-based requirements | IEEE Conference Publication | IEEE Xplore