Knowledge-based emulation-simulation for flexible-automation manufacturing