Comparing detailed and abstract timed models of automated discrete manufacturing systems