Modelagem da missão de patrulha marítima usando máquina de estado para apoiar simulações e otimização de arquiteturas