Envoyer par SMS: Formal semantics for VHDL / edited by Carlos Delgado Kloos and Peter T. Breuer.