Envoyer par SMS: Modelagem em nível transacional de sistemas em chip mistos para aplicações de redes de sensores sem fio