Zaslat SMS: Design of embedded real-time computing systems /