Gordon S. Novak Jr.: Computer aided software design via inference and constraint propagation. Integr. Comput. Aided Eng. 16(3): 181-191 (2009)