Beyond year 2000 remediation: the compliance verification. A case study | IEEE Conference Publication | IEEE Xplore