Enhancement of requirements traceability with state diagrams | IEEE Conference Publication | IEEE Xplore