Zaslat SMS: The design of logical machines /