Developing an ROV software control architecture: A formal specification approach. - Fabio Henrique de Assis; Fábio Kawaoka Takase; Newton Maruyama; Paulo Eigi Miyagi (IECON, 2012)