Fabio Henrique de Assis, Fabio Kawaoka Takase, Newton Maruyama, Paulo Eigi Miyagi. Developing an ROV software control architecture: A formal specification approach. In 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012. pages 3107-3112, IEEE, 2012. [doi]
Abstract is missing.