SMS Engineering by Design