Automated Identification of Component State Transition Model Elements from Requirements | IEEE Conference Publication | IEEE Xplore