Invia SMS: Possibilities of Using Maxima to Generate Multi-State Models and Their Solutions