Object oriented and formal methods for AUV development - Champeau, J.; Dhaussy, P.; Moitie, R.; Prigent, A. (OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158), OCEANS 2000 MTS/IEEE Conference and Exhibition, OCEANS 2000, 2000)