Goal-based engineering and proven results