Functional Simulation Solutions - CARREL, Terry (Parametric Technology, 1997)