Requirements verification: Legal challenges in compliance testing | IEEE Conference Publication | IEEE Xplore