1. Abbott, T., Jones, K., Consiglio, M., Williams, D., Adams, C.: Small Aircraft Transportation System, High Volume Operation concept: Normal operations. Technical Report NASA/TM-2004-213022, NASA Langley Research Center, NASA LaRC Hampton VA 23681-2199, USA (2004)
2. Baxley, B., Williams, D., Consiglio, M., Adams, C., Abbott, T.: The Small Aircraft Transportation System (SATS), Higher Volume Operations (HVO) off-nominal operations. In: Proceedings of the AIAA 5th Aviation, Technology, Integration, and Operations Conference, AIAA-2005-7461, Arlington, Virginia (2005)
3. Chan, W., Anderson, R., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.: Model checking large software specifications. IEEE Transactions on Software Engineering 24(7), 498–520 (1998)
4. Consiglio, M., Carreño, V., Williams, D., Muñoz, C.: Conflict prevention and separation assurance method in the Small Aircraft Transportation System. In: Proceedings of the AIAA 5th Aviation, Technology, Integration, and Operations Conference, AIAA-2005-7463, Arlington, Virginia (2005)
5. Dowek, G., Muñoz, C., Carreño, V.: Abstract model of the SATS concept of operations: Initial results and recommendations. Technical Report NASA/TM-2004-213006, NASA Langley Research Center, NASA LaRC,Hampton VA 23681-2199, USA (2004)