Zaslat SMS: Analysis and synthesis of computer systems