1. {n.d.}. The NanGate 45nm Open Cell Library. Retrieved from http://www.nangate.com. {n.d.}. The NanGate 45nm Open Cell Library. Retrieved from http://www.nangate.com.
2. {n.d.}. NanoC: NaNoC Design Platform. Retrieved from http://www.nanoc-project.eu. {n.d.}. NanoC: NaNoC Design Platform. Retrieved from http://www.nanoc-project.eu.
3. SoCLib. 2012. LIP6: Laboratoire d'informatique de Paris 6. Retrieved from http://www.soclib.fr/trac/dev. SoCLib. 2012. LIP6: Laboratoire d'informatique de Paris 6. Retrieved from http://www.soclib.fr/trac/dev.
4. Measurement-Based Worst-Case Execution Time Estimation Using the Coefficient of Variation
5. Aeronautical Radio Inc. 2013. Avionics Application Software Standard Interface: ARINC Specification 653. Aeronautical Radio Inc. Aeronautical Radio Inc. 2013. Avionics Application Software Standard Interface: ARINC Specification 653. Aeronautical Radio Inc.