{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:37Z","timestamp":1725486277506},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_25","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"319-328","source":"Crossref","is-referenced-by-count":1,"title":["Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Francesca","family":"Saglietti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Berthomieu, Diaz, M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, Vol. 17. IEEE Computer Society (1991)","DOI":"10.1109\/32.75415"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Coombes, A., McDermid, J., Moffett, J.: Requirements Analysis and Safety: A Case Study using GRASP. Proceedings SAFECOMP\u201995, G. Rabe editor. Springer-Verlag (1995)","DOI":"10.1007\/978-1-4471-3054-3_24"},{"key":"25_CR3","unstructured":"European Space Agency: ARIANE 5 Flight 501 Failure Report by the Inquiry Board. Press Release (1996)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Garrett J., Guarro, S. Apostolakis,: The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 25. IEEE Computer Society (1995)","DOI":"10.1109\/21.376495"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Jones, N. D., Landweber, L. H., Lien, Y. E.: Complexity of some Problems in Petri Nets. Theoretical Computer Science, Vol. 4. Elsevier Science Publishers (1977)","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"25_CR6","unstructured":"Leveson, N. G.: Safeware: System Safety and Computers-A Guide to Preventing Accidents and Losses Caused by Technology. Addison-Wesley (1995)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Leeb, G., Lynch, N.: Proving Safety Properties of the Steam Boiler Controller. Lecture Notes in Computer Science, Vol. 11654. Springer-Verlag (1996)","DOI":"10.1007\/BFb0027243"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Lynch, N.: Modelling and Verification of Automated Transit Systems, using Timed Automata, Invariants and Simulations. Lecture Notes in Computer Science, Vol. 1066. Springer-Verlag (1996)","DOI":"10.1007\/BFb0020967"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Moffett, J. D., Hall, J. G., Coombes, A. C, McDermid, J. A.: A Model for a Causal Logic for Requirements Engineering. Journal of Requirements Engineering, Vol. 1. Springer-Verlag (1996)","DOI":"10.1007\/BF01235764"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Saglietti, F., guest editor: Special Issue on Dependability of Real-Time Software. Real-Time Systems-The International Journal of Time-Critical Computing Systems, Vol. 7. Kluwer Academic Publishers (1994)","DOI":"10.1007\/BF01088800"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Saglietti, F.: Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. Proceedings SAFECOMP\u201997, P. Daniel editor. Springer-Verlag (1997)","DOI":"10.1007\/978-1-4471-0997-6_27"},{"key":"25_CR12","unstructured":"Thomas, M.: The Story of the Therac-25 in LOTOS. High Integrity Systems, Vol. 1. Oxford University Press (1994)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T01:57:31Z","timestamp":1587607051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}