A Verification Method for SCD Based on Validation Rules defined with XML Schema | IEEE Conference Publication | IEEE Xplore