{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:37Z","timestamp":1725895357803},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111894"},{"type":"electronic","value":"9783642683534"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_10","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:25:56Z","timestamp":1320215156000},"page":"56-63","source":"Crossref","is-referenced-by-count":3,"title":["Galileo: A Methodology for Modelling and Designing Real Time Systems"],"prefix":"10.1007","author":[{"given":"F.","family":"Vidondo","sequence":"first","affiliation":[]},{"given":"I.","family":"L\u00f3pez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Lopez, I., Girod, J.J., Overton, J.M., Fernandez, J.M.: \u201cGalileo Overview\u201d, cod. 79-TR-10.01, Laboratories ITT de Standard Electrica, S.A. Madrid, Spain."},{"key":"10_CR2","unstructured":"Petri, C.A.: Communication with Automate Technical Report No. RADC-TR.65-377 Vol. 1, Supplement I, Jan. 66, Air Force Systems Command, Griffiss Air Force Base, New York."},{"key":"10_CR3","volume-title":"Concurrent Software System Design Symposium on Design Automation and Microprocessors, February 24\u201325","author":"I Campos","year":"1977","unstructured":"Campos, I., Estrin, G.: \u201cConcurrent Software System Design\u201d Symposium on Design Automation and Microprocessors, February 24\u201325, 1977, Palo Alto, California."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Hansen, Per Brinch: \u201cMultiprocessor Architectures for Concurrent Programs\u201d. Computer Architecture News. ACM, Special Interest Group on Computer Architecture. Vol. 7. Number 4, Dec. 15th, 1978.","DOI":"10.1145\/641829.641830"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: \u201cMonitors: An Operating System Structuring Concept\u201d Communication of de ACM, October 1974 Volume 17 No. 10 pp 549\u2013557.","DOI":"10.1145\/355620.361161"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Hansen, Per Brinch: \u201cReproducible Testing of Monitors\u201d. Software-Practice and Experience, Vol. 8, 721\u2013729, 1978. J. Wiley & Sons Ltd.","DOI":"10.1002\/spe.4380080607"}],"container-title":["Informatik-Fachberichte","Application and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68353-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T04:54:05Z","timestamp":1557896045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_10","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}