Independent validation of specifications: a coordination headache | IEEE Conference Publication | IEEE Xplore