Andrea Matta Matteo Rossi Paola Spoletini Dino Mandrioli Quirico Semeraro Tullio Tolio FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. 366-380 2007 conf/ictac/2007 ICTAC http://dx.doi.org/10.1007/978-3-540-75292-9_25 db/conf/ictac/ictac2007.html#MattaRSMST07