Pragmatic Design with Ada