Modeling and simulation with psi/e by Bosch