A formal framework for capturing knowledge to transform structural models into analysis models. - Aleksandr A. Kerzhner; Jonathan M. Jobe; Christiaan J. J. Paredis (J. Simulation, 2011)