Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the production. - Patrick Pujo; Massimo Pedetti; Norbert Giambiasi (Simul. Model. Pract. Theory, 2006)