Zaslat SMS: Hybrid Dynamical Systems :