Zaslat SMS: Model-based control of networked systems /