Especificação utilizando o método B de um controle remoto.