{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:29:12Z","timestamp":1761964152205},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752905"},{"type":"electronic","value":"9783540752929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75292-9_25","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T10:43:07Z","timestamp":1189507387000},"page":"366-380","source":"Crossref","is-referenced-by-count":2,"title":["FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Matta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Spoletini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dino","family":"Mandrioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quirico","family":"Semeraro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tullio","family":"Tolio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1026314925956","volume":"15","author":"M. Bruccoleri","year":"2003","unstructured":"Bruccoleri, M., La Diega, S.N., Perrone, G.: Object-oriented approach for flexible manufacturing control systems analysis and design using the Unified Modeling Language. Int. Journal of Flexible Manufacturing Systems\u00a015(3), 195\u2013216 (2003)","journal-title":"Int. Journal of Flexible Manufacturing Systems"},{"key":"25_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/1-4020-2931-4","volume-title":"Design of Advanced Manufacturing Systems","author":"A. Matta","year":"2005","unstructured":"Matta, A., Semeraro, Q., Tolio, T.: A framework for long term capacity decisions in advanced manufacturing systems. In: Matta, A., Semeraro, Q. (eds.) Design of Advanced Manufacturing Systems, Springer, Heidelberg (2005)"},{"key":"25_CR3","doi-asserted-by":"crossref","DOI":"10.1142\/3376","volume-title":"Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach","author":"M. Zhou","year":"1999","unstructured":"Zhou, M., Venkatesh, K.: Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific, Singapore (1999)"},{"issue":"6","key":"25_CR4","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1023\/A:1008952519552","volume":"10","author":"J. Wang","year":"1999","unstructured":"Wang, J., Deng, Y.: Incremental modeling and verification of flexible manufacturing systems. Journal of Intelligent Manufacturing\u00a010(6), 485\u2013502 (1999)","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/32.67588","volume":"17","author":"I. Hatono","year":"1991","unstructured":"Hatono, I., Yamagata, K., Tamura, H.: Modeling and online scheduling of flexible manufacturing systems using stochastic petri nets. IEEE Transactions on Software Engineering\u00a017(2), 126\u2013132 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-540-27863-4_13","volume-title":"INT 2004","author":"S. Flake","year":"2004","unstructured":"Flake, S., Mueller, W., Pape, U., Ruf, J.: Specification and formal verification of temporal properties of production automation systems. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 206\u2013226. Springer, Heidelberg (2004)"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1007\/978-3-540-30182-0_72","volume-title":"Computer and Information Sciences - ISCIS 2004","author":"A. Matta","year":"2004","unstructured":"Matta, A., Furia, C., Rossi, M.: Semi-formal and formal models applied to flexible manufacturing systems. In: Aykanat, C., Dayar, T., K\u00f6rpeo\u011flu, \u0130. (eds.) ISCIS 2004. LNCS, vol.\u00a03280, pp. 718\u2013728. Springer, Heidelberg (2004)"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"1733","DOI":"10.1080\/00207549108948045","volume":"29","author":"P.J. Starr","year":"1991","unstructured":"Starr, P.J.: Integration of simulation and analytical submodels for supporting manufacturing decisions. Int. J. of Production Research\u00a029, 1733\u20131746 (1991)","journal-title":"Int. J. of Production Research"},{"issue":"1","key":"25_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/295558.295566","volume":"8","author":"E. Ciapessoni","year":"1999","unstructured":"Ciapessoni, E., Coen-Porisini, A., Crivelli, E., Mandrioli, D., Mirandola, P., Morzenti, A.: From formal models to formally-based methods: an industrial experience. ACM Trans. on Software Engineering and Methodology\u00a08(1), 79\u2013113 (1999)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"25_CR10","unstructured":"Matta, A., Tolio, T., Tomasella, M., Zanchi, P.: A detailed uml model for general flexible manufacturing systems. In: Proc. of ICME 2004, pp. 113\u2013118 (2004)"},{"key":"25_CR11","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"2001","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering, 2nd edn. Prentice-Hall, Englewood Cliffs (2001)","edition":"2"},{"key":"25_CR12","unstructured":"Leone, F.: Specifica e analisi di un flexible manufacturing system. Elaborato di laurea, Politecnico di Milano (in Italian) (2005)"},{"key":"25_CR13","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grunberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"issue":"4","key":"25_CR14","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/133233.129397","volume":"14","author":"A. Morzenti","year":"1992","unstructured":"Morzenti, A., Mandrioli, D., Ghezzi, C.: A model parametric real-time logic. ACM Transactions on Programming Languages and Systems\u00a014(4), 521\u2013573 (1992)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"25_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/383876.383877","volume":"10","author":"A. Gargantini","year":"2001","unstructured":"Gargantini, A., Morzenti, A.: Automated deductive requirement analysis of critical systems. ACM Trans. on Software Eng. and Methodology\u00a010(3), 255\u2013307 (2001)","journal-title":"ACM Trans. on Software Eng. and Methodology"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1007\/978-3-540-45236-2_30","volume-title":"FME 2003: Formal Methods","author":"A. Morzenti","year":"2003","unstructured":"Morzenti, A., Pradella, M., San Pietro, P., Spoletini, P.: Model-checking trio specifications in SPIN. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 542\u2013561. Springer, Heidelberg (2003)"},{"key":"25_CR17","volume-title":"The SPIN Model Checker, Primer and Reference Manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The SPIN Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"25_CR18","unstructured":"Spoletini, P., Tomasella, M., Matta, A., Rossi, M.: Formal verification in analysis and design of production systems. In: Proc. of ICME 2006, pp. 367\u2013372 (2006)"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11949374_8","volume-title":"Software Engineering Education in the Modern Age","author":"C. Ghezzi","year":"2006","unstructured":"Ghezzi, C., Mandrioli, D.: The challenges of software engineering education. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol.\u00a04309, pp. 115\u2013127. Springer, Heidelberg (2006)"},{"issue":"1","key":"25_CR20","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/1107458.1107486","volume":"49","author":"J.C. Knight","year":"2006","unstructured":"Knight, J.C., Leveson, N.G.: Software and higher education. Communications of the ACM\u00a049(1), 160 (2006)","journal-title":"Communications of the ACM"},{"volume-title":"Guide to the Software Engineering Book of Knowledge","year":"2004","key":"25_CR21","unstructured":"Bourque, P., Dupuis, R. (eds.): Guide to the Software Engineering Book of Knowledge. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"6","key":"25_CR22","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2006.171","volume":"23","author":"T. Lethbridge","year":"2006","unstructured":"Lethbridge, T., LeBlanc, R., Sobel, A.K., Hilburn, T., Diaz-Herrera, J.: SE2004: Recommendations for undergraduate software engineering curricula. IEEE Software\u00a023(6), 19\u201325 (2006)","journal-title":"IEEE Software"},{"key":"25_CR23","unstructured":"International Council on Systems Engineering (INCOSE): Guide to the systems engineering body of knowledge \u2013 G2SEBoK, online at \n                  \n                    http:\/\/g2sebok.incose.org"},{"key":"25_CR24","unstructured":"Furia, C.A., Rossi, M., Strunk, E.A., Mandrioli, D., Knight, J.C.: Raising formal methods to the requirements level. Technical Report TR 2006.64, Politecnico di Milano (2006)"},{"key":"25_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/11562436_28","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"M. Pradella","year":"2005","unstructured":"Pradella, M., Rossi, M., Mandrioli, D.: ArchiTRIO: A UML-compatible language for architectural description and its formal semantics. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 381\u2013395. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75292-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:58:59Z","timestamp":1619521139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75292-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752905","9783540752929"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75292-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}