Chiradeep Sen, Joshua D. Summers, Gregory M. Mocko: Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs. J. Comput. Inf. Sci. Eng. 13(1) (2013)