Zaslat SMS: An approach to verification and validation of a reliable multicasting protocol : extended abstract / by John R. Callahan and Todd L. Montgomery.