{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:19Z","timestamp":1725664639715},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:33Z","timestamp":1330297113000},"page":"184-198","source":"Crossref","is-referenced-by-count":1,"title":["Transformational formal development of real-time systems"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"13_CR1","unstructured":"M Awad, J Kuusela, and J Ziegler. Object-oriented Technology for Real-time Systems. Prentice Hall, 1996."},{"key":"13_CR2","unstructured":"B-Toolkit Manual, B-Core UK Ltd., Magdalen Centre, Oxford Science Park, OX4 4GA, 1996."},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A Burns","year":"1994","unstructured":"A Burns and A Wellings. HRT-HOOD: A structured design method for hard realtime systems. Real-Time Systems, 6(1):73\u2013114, January 1994.","journal-title":"Real-Time Systems"},{"key":"13_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":"13_CR5","unstructured":"E Gamma, R Helm, R Johnson and J Vlissides. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, 1994."},{"key":"13_CR6","unstructured":"R Gerber, S Hong, Compiler Support for Real-Time Programs, Chapter 15 of Advances in Real-Time Systems, S. H. Son (Ed.), Prentice Hall 1996."},{"key":"13_CR7","unstructured":"S Goldsack, K Lano. Annealing, Object Decomposition and Design Patterns, TOOLS Pacific 1996, Melbourne, Australia, 1996."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"K Lano, J Bicarregui, S Goldsack. Formalising Design Patterns, Northern Formal Methods Workshop, Ilkly, 1996.","DOI":"10.14236\/ewic\/FA1996.11"},{"key":"13_CR9","unstructured":"K Lano. Specification of a Chemical Process Controller in VDM ++ and B, ROOS Project Document GR\/K68783-11, September 1996."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"K Lano, S Goldsack, J Bicarregui, S Kent. Integrating VDM ++ and Real-time System Design, Z User Meeting 1997.","DOI":"10.1007\/BFb0027290"},{"issue":"10","key":"13_CR11","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1093\/comjnl\/38.10.785","volume":"38","author":"G Lowe","year":"1995","unstructured":"G Lowe and H Zedan. Refinement of complex systems: A case study. The Computer Journal, 38(10):785\u2013800, 1995.","journal-title":"The Computer Journal"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T07:30:11Z","timestamp":1593761411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}