Zaslat SMS: Robust design methodology for reliability