Zaslat SMS: Design and analysis of distributed algorithms / Nicola Santoro.