The challenge of regulatory compliance testing of a large distributed system | IEEE Conference Publication | IEEE Xplore