{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:26:14Z","timestamp":1725567974356},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235262"},{"type":"electronic","value":"9783540301820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30182-0_72","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T19:50:40Z","timestamp":1287949840000},"page":"718-728","source":"Crossref","is-referenced-by-count":3,"title":["Semi-formal and Formal Models Applied to Flexible Manufacturing Systems"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Matta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo A.","family":"Furia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"72_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0736-5845(00)00033-8","volume":"17","author":"A. Matta","year":"2001","unstructured":"Matta, A., Tolio, T., Karaesmen, F., Dallery, Y.: An integrated approach for the configuration of automated manufacturing systems. Robotics and CIM\u00a017, 19\u201326 (2001)","journal-title":"Robotics and CIM"},{"key":"72_CR2","unstructured":"OMG: UML specification, 2003-03-01. Technical report, OMG (2003)"},{"key":"72_CR3","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 TOSEM\u00a08, 79\u2013113 (1999)","journal-title":"ACM TOSEM"},{"key":"72_CR4","unstructured":"Matta, A.: D1.1: UML description of FMS. Technical report, FIRB Project, Contract code: RBNE013SWE (2004)"},{"key":"72_CR5","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 TOSEM\u00a010, 255\u2013307 (2001)","journal-title":"ACM TOSEM"},{"key":"72_CR6","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/32.841114","volume":"26","author":"P.S. Pietro","year":"2000","unstructured":"Pietro, P.S., Morzenti, A., Morasca, S.: Generation of execution sequences for modular time critical systems. IEEE Transactions on Software Engineering\u00a026, 128\u2013149 (2000)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Computer and Information Sciences - ISCIS 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30182-0_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:53:20Z","timestamp":1619999600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30182-0_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235262","9783540301820"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30182-0_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}