Matthieu Perin, Jean-Marc Faure: Comparing detailed and abstract timed models of automated discrete manufacturing systems. CASE 2013: 916-923