Formal engineering design synthesis (Cambridge Univ. Press, 2001)