1. Defense Science Board, Task force on high performance microchip supply, 2005. Available Online: http://www.acq.osd.mil/dsb/reports/ADA435563.pdf.
2. Application of FPGA to nuclear power plant I&C systems;Hayashi,2014
3. Reliability-driven system-level synthesis for mixed-critical embedded systems;Bolchini,2013
4. New challenges in certification for aircraft software;Rushby,2011
5. Xilinx Inc., Virtex-5 libraries guide for HDL designs UG621, 2010. Available Online: http://www.xilinx.com.