Zaslat SMS: Dependability of critical computer systems :