Zaslat SMS: Model checking software