Invia SMS: Process simulation using WITNESS /