{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:48Z","timestamp":1725563028097},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_11","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"153-167","source":"Crossref","is-referenced-by-count":0,"title":["Material Flow Abstraction of Manufacturing Systems"],"prefix":"10.1007","author":[{"given":"Jewgenij","family":"Botaschanjan","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Hummel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Hummel, B.: A semantic model for computer-based spatio-temporal systems. In: Proc. of ECBS 2009 (2009)","DOI":"10.1109\/ECBS.2009.19"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Botaschanjan, J., Hummel, B., Lindworsky, A., Hensel, T.: Integrated behavior models for factory automation systems. In: Proc. of ETFA 2009 (2009)","DOI":"10.1109\/ETFA.2009.5347021"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00087-6","volume":"253","author":"M. Broy","year":"2001","unstructured":"Broy, M.: Refinement of time. Theoretical Computer Science\u00a0253, 3\u201326 (2001)","journal-title":"Theoretical Computer Science"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014732","volume-title":"Hybrid and Real-Time Systems","author":"O. M\u00fcller","year":"1997","unstructured":"M\u00fcller, O., Scholz, P.: Functional specification of real-time and hybrid systems. In: Maler, O. (ed.) HART 1997. LNCS, vol.\u00a01201, Springer, Heidelberg (1997)"},{"key":"11_CR5","volume-title":"Proc. of ESEC\/FSE 2009","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of ESEC\/FSE 2009. ACM, New York (2001)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst.\u00a017, 507\u2013535 (1995)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Trans. Softw. Eng.\u00a07, 417\u2013426 (1981)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst.\u00a05, 596\u2013619 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci.\u00a0126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR10","series-title":"NATO ASI Series F: Computer and Systems Sciences","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"Verification of Digital and Hybrid Systems","author":"T. Henzinger","year":"2000","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol.\u00a0170, pp. 265\u2013292. Springer, Heidelberg (2000)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Iversen, T.K., Kristoffersen, K.J., Larsen, K.G., Laursen, M., Madsen, R.G., Mortensen, S.K., Pettersson, P., Thomasen, C.B.: Model-checking real-time control programs: verifying Lego Mindstorms systems using UPPAAL. In: Proc. of ECRTS 2000 (2000)","DOI":"10.1109\/EMRTS.2000.854002"},{"key":"11_CR12","volume-title":"SADT: Structured Analysis and Design Techniques","author":"D.A. Marca","year":"1987","unstructured":"Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Techniques. Mcgraw-Hill, New York (1987)"},{"key":"11_CR13","unstructured":"Leuxner, C., Sitou, W., Spanfelner, B., Thurner, V., Schneider, A.: Modeling work flows for building context-aware applications. Technical Report TUM-I0913, Technische Universit\u00e4t M\u00fcnchen (2009)"},{"key":"11_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1561-6","volume-title":"Introduction to Physical Modeling with Modelica","author":"M. Tiller","year":"2001","unstructured":"Tiller, M.: Introduction to Physical Modeling with Modelica. Springer, Heidelberg (2001)"},{"key":"11_CR15","volume-title":"Proc. of ISSTA 2009","author":"J. Botaschanjan","year":"2009","unstructured":"Botaschanjan, J., Hummel, B.: Specifying the worst case - orthogonal modelling of hardware errors. In: Proc. of ISSTA 2009. ACM Press, New York (2009)"},{"key":"11_CR16","unstructured":"Struss, P., Kather, A., Schneider, D., Voigt, T.: A compositional mathematical model of machines transporting rigid objects. In: Proc. of ECAI 2008 (2008)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:57:43Z","timestamp":1606186663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}