FM for FMS: Lessons learned while applying formal methods to the study of flexible manufacturing systems (2007)

by A Matta, M Rossi, P Spoletini, D Mandrioli, Q Semeraro, T Tolio
Venue:Lecture Notes in Computer Science