Environment Model based Requirements Consistency Verification: An Example | IEEE Conference Publication | IEEE Xplore