Invia SMS: Projektování ASŘ s využitím typizace