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