Envoyer par SMS: Typizace a experimentální ověřování ve výstavbě