Zaslat SMS: B: towards zero defect software