1. Alur, R., Courcoubetis, C., and Dill, D., 1990. Model-checking for real-time systems.Proc. Fifth Ann. IEEE Symp. Logic in Computer Science, Philadelphia, 414–425.
2. Buchi, J.R., 1962. On a decision method in restricted second order arithmetic.Proc. Int. Congr. Logic, Methodology, Philosophy of Science, Stanford University Press, 1–11.
3. Chang, K., Li, W., Devlin, P., Shaikhbahai, A., Varaiya, P., Hedrick, J., MacMahon, D., Narendran, V., and Swaroop, D., 1991a. Experimentation with a vehicle platoon control system.Proc. Vehicle Navigation and Information Systems Conf., Dearborn, MI, 1117–1124.
4. Chang, K., Li, W., Porche, I., and Varaiya, P., 1992. Real-time management for communications and control in multi-car platoons.Proc. Intelligent Vehicles '92, Detroit MI.
5. Chang, K., Li, W., Shaikhbahai, A., and Varaiya, P., 1991b. A preliminary implementation for vehicle platoon control system.Proc. American Control Conf., Boston, MA, 3078–3083.