added specification file and simulation results