The need to consider, a number of different alternatives at an early stage in design has been well established. It is hypothesized that providing a tool for automatically modeling and analyzing behavior of an artifact would aid the conceptual designer by facilitating the consideration of more varied alternatives. We describe a tool for automatic formulation of dynamic system models from user sp...