Carpanzano, Emanuele and Ferrucci, L and Mandrioli, D and Mazzolini, Mauro and Morzenti, A and Rossi, M (2012) Automated formal verification for flexible manufacturing systems. Journal of Intelligent Manufacturing.