1. DO-254 Hardware Verification: Prototyping with Vectors Mode;Aldec Corp,2007
2. Co-design and Refinement for Safety Critical Systems, Proc. DFT ‘04 19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems;Aljer;IEEE,2004
3. DO254 Package Process and Checklists: Overview & Compliance with RTCA/DO-254 Document;Baghai,2004
4. Reqtify: Product Compliance with RTCA/DO-254 Document;Baghai,2006