1 |
Tel, G., Introduction to Distributed Algorithms Second Edition, Cambridge University Press: Cambridge, UK, 2000.
|
2 |
Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations, DO-297, RTCA Inc: Washington, DC, November 8, 2005.
|
3 |
ARINC specification 651-1: Design Guidance for Integrated Modular Avionics, Aeronautical Radio, Inc., Annapolis, MD, November 1997.
|
4 |
Sha, L., A. Abdullah, M. Sun, j. Meseguer, P. Olveczky, PALS: Physically Asynchronous Logically Synchronous Systems, www.ideals.uiuc.edu/handle/2142/11897, May, 2009.
|
5 |
Lynch, N., Distributed Algorithms, Morgan Kaufmann Publishers, Inc: San Francisco, CA, 1996.
|