Enviar por SMS: On the homology language of HDA models of transition systems