Return to Article Details Rule modeling for automatic verification of RDC-50 requirements in EAS Download Download PDF