Toward consistency checking of natural language temporal requirements | IEEE Conference Publication | IEEE Xplore