Zaslat SMS: Analysis of optimistic window-based synchronization / Phillip M. Dickens [and others].