System validation through automated requirements verification | IEEE Conference Publication | IEEE Xplore