[1] Video Processing and Electronic Reduction (->"IEEE Standard Dictionary")
[2] Verifiable Integrated Processor for Enhanced Reliability