Gravar-mail: Hybrid automata as coalgebras