{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:14Z","timestamp":1725664634434},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:47Z","timestamp":1330297127000},"page":"310-324","source":"Crossref","is-referenced-by-count":0,"title":["Specification and refinement of continuous real-time systems"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Goldsack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Lano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene","family":"Durr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"6","key":"21_CR1","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1002\/aic.690400608","volume":"40","author":"P. I. Barton","year":"1994","unstructured":"P I Barton and C C Pantelides. Modelling of combined discrete\/continuous processes. AIChE Journal, 40(6):966\u2013979, June 1994.","journal-title":"AIChE Journal"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"J Bowen, M Fr\u00e4nzle, E-R Olderog, and A P Ravn. Developing correct systems, ProCoS report. Technical report, Programming Research Group, Oxford University, 1994.","DOI":"10.1109\/EMWRT.1993.639088"},{"key":"21_CR3","unstructured":"S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Sept 1994."},{"key":"21_CR4","unstructured":"E Durr, S Goldsack, and J van Katjwick. Specification of a cruise controller in VDM++. In Proceedings of Real Time OO Workshop, ECOOP 96, 1996."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"S J Goldsack. Semantic definition of linear control algorithms. The Computer Journal, 21(4), November 1978.","DOI":"10.1093\/comjnl\/21.1.85-a"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"S J Goldsack and E H D\u00fcrr. Concurrency and real-time in VDM ++. In Formal Methods in Object Technology, chapter 6. Springer-Verlag, March 1996.","DOI":"10.1007\/978-1-4471-3071-0_6"},{"key":"21_CR7","unstructured":"J R Leigh. Applied Digital Control. Prentice Hall International, 1984."},{"key":"21_CR8","unstructured":"C H Phillips and H T Nagle. Digital Control Systems Analysis and Design (2nd Edition). Prentice Hall, 1990."}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T14:37:38Z","timestamp":1561387058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}