{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:18:35Z","timestamp":1725517115305},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096605"},{"type":"electronic","value":"9780387096612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09661-2_8","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T13:40:02Z","timestamp":1219153202000},"page":"79-88","source":"Crossref","is-referenced-by-count":0,"title":["Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables"],"prefix":"10.1007","author":[{"given":"Simon","family":"Tjell","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"CPN Tools. http:\/\/daimi.au.dk\/CPNTools."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"L. A. Cort\u00e9s, P. Eles, and Z. Peng. Verification of Embedded Systems Using a Petri Net Based Representation. In ISSS 2000.","DOI":"10.1109\/ISSS.2000.874042"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"J. M. Fernandes, J. B. J\u00f8rgensen, and S. Tjell. Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. In APSEC 2007.","DOI":"10.1109\/ASPEC.2007.15"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave. A Reference Model for Requirements and Specifications. IEEE Software, 17(3), 2000.","DOI":"10.1109\/52.896248"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"I. J. Hayes, M.A. Jackson, and C.B. Jones. Determining the Specification of a Control System from that of its Environment. In FME 2003.","DOI":"10.1007\/978-3-540-45236-2_10"},{"key":"8_CR6","unstructured":"M. Jackson. Problem Frames \u2014 Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"K. Jensen, L. M. Kristensen, and L. Wells. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT, 9(3-4), 2007.","DOI":"10.1007\/s10009-007-0038-x"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"B. Kleinjohann, J. Tacken, and C. Tahedl. Towards a Complete Design Method for Embedded Systems Using Predicate\/Transition-Nets. In CHDL 1997.","DOI":"10.1007\/978-0-387-35064-6_2"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"S. Raman and S. McCanne. A Model, Analysis, and Protocol Framework for Soft State-Based Communication. In SIGCOMM 1999.","DOI":"10.1145\/316188.316202"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"S. Tjell. Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In SIES 2007.","DOI":"10.1109\/SIES.2007.4297341"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"S. Tjell. Model-Based Analysis of a Windmill Communication System. In DIPES 2006.","DOI":"10.1007\/978-0-387-39362-9_26"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"C. Zhou, C. A. R. Hoare, and A. P. Ravn. A Calculus of Durations. Inf. Process. Lett., 40(5), 1991.","DOI":"10.1016\/0020-0190(91)90122-X"}],"container-title":["IFIP \u2013 The International Federation for Information Processing","Distributed Embedded Systems: Design, Middleware and Resources"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09661-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:32Z","timestamp":1605647072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09661-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096605","9780387096612"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09661-2_8","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}