1. Albus , J. S. Meystel , A. M. 1996 A reference model architecture for design and implementation of intelligent control in large and complex systems International Journal of Intelligent Control and Systems 15 30
2. Alexander , C. DelGobbo , D. Cortellessa , V. Mili , A. Napolitano , M. 2000 Modeling the fault tolerant capability of a flight control system: An exercise in SCR specifications Proceedings of the Langley Formal Methods Conference
3. Comparison of time synchronization techniques in a distributed collaborative swarm system