A. J. Healey, D. B. Marco, P. Oliveira, A. Pascoal, V. Silva, C. Silvestre;
Strategic level mission control - An evaluation of CORAL and PROLOG implementations for mission control specifications, Proceedings of 1996 Symposium on Autonomous Underwater Vehicle Technology,
pp. 125 - 132, June 1996.
P. Oliveira, A. Pascoal, V. Silva, C. Silvestre;
Design, development, and testing at sea of the mission control system for the MARIUS autonomous underwater vehicle, Proceedings of MTS/IEEE OCEANS'96 Conference,
pp. 401 - 406, September 1996.