{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:40Z","timestamp":1748071600588},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027290","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"188-219","source":"Crossref","is-referenced-by-count":7,"title":["Integrating VDM++ and real-time system design"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"S.","family":"Goldsack","sequence":"additional","affiliation":[]},{"given":"J.","family":"Bicarregui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"11_CR1","unstructured":"M Awad, J Kuusela, and Jurgen Ziegler. Object-oriented Technology for Real-time Systems. Prentice Hall, 1996."},{"key":"11_CR2","unstructured":"P I Barton, E Smith and C C Pantelides. Combined Discrete\/Continuous Process Modelling Using gPROMS, 1991 AIChE Annual Meeting: Recent Advances in Process Control, Los Angeles, 1991."},{"key":"11_CR3","unstructured":"P Barton and T Park. Analysis and Control of Combined Discrete\/Continuous Systems: Progress and Challenges in the Chemical Processing Industries, in proceedings of Chemical Process Control \u2014 V: Assessment and New Directions for Research, January, 1996."},{"issue":"1","key":"11_CR4","doi-asserted-by":"crossref","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 real-time systems. Real-Time Systems, 6(1):73\u2013114, January 1994.","journal-title":"Real-Time Systems"},{"key":"11_CR5","unstructured":"D Coleman, P Arnold, S Bodoff, C Dollin, H Gilchrist, F Hayes, and P Jeremaes. Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, 1994."},{"key":"11_CR6","unstructured":"S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Sept 1994."},{"key":"11_CR7","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":"11_CR8","unstructured":"S M Celiktin. Interval-Based Techniques for the Specification and Analysis of Real-Time Requirements, PhD thesis, Catholic University of Louvain, September 1994."},{"key":"11_CR9","unstructured":"S Engell and S Kowalewski. Discrete Events and Hybrid Systems in Process Control, Proceedings of Chemical Process Control \u2014 V: Assessment and New Directions for Research, January, 1996."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"J Fiadeiro and T Maibaum. Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0019447"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F Jahanian","year":"1986","unstructured":"F Jahanian and A K Mok. Safety Analysis of Timing Properties in Real-time Systems, IEEE Transactions on Software Engineering, SE-12, pp. 890\u2013904, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR12","unstructured":"S Kent and K Lano. Axiomatic Semantics for Concurrent Object Systems, AFRODITE Technical Report AFRO\/IC\/SKKL\/SEM\/V1, Dept. of Computing, Imperial College, 180 Queens Gate, London SW7 2BZ."},{"key":"11_CR13","unstructured":"K Lano. Distributed System Specification in VDM ++, FORTE '95 Proceedings, Chapman and Hall, 1995."},{"key":"11_CR14","unstructured":"K Lano, J Bicarregui and S Kent. A Real-time Action Logic of Objects, ECOOP 96 Workshop on Proof Theory of Object-oriented Systems, Linz, Austria, 1996."},{"key":"11_CR15","unstructured":"K Lano. Semantics of Real-Time Action Logic, Technical Report GR\/K68783-3, Dept. of Computing, Imperial College, 1996."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"K Lano, S Goldsack and A Sanchez. Transforming Continuous into Discrete Specifications with VDM ++, IEE C8 Colloquium Digest on Hybrid Control for real-time Systems, 1996.","DOI":"10.1049\/ic:19961365"},{"key":"11_CR17","unstructured":"K Lano. Refinement and Simulation of Real-time and Hybrid Systems using VDM ++ and gPROMS, ROOS project report GR\/K68783-13, November 1996, Dept. of Computing, Imperial College."},{"issue":"10","key":"11_CR18","doi-asserted-by":"crossref","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"},{"key":"11_CR19","unstructured":"Z Manna and A Pnueli. Time for concurrency. Technical report, Dept. of Computer Science, Stanford University, 1992."},{"key":"11_CR20","unstructured":"B Mahony and I J Hayes. Using continuous real functions to model timed histories. In P A Bailes, editor, Proceedings of 6th Australian Software Engineering Conference. Australian Computer Society, July 1991."},{"key":"11_CR21","unstructured":"J S Ostroff. Temporal Logic for Real-Time Systems. John Wiley, 1989."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"A Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In J de Bakker, W P de Roever, and G Rozenberg, editors, Current Trends in Concurrency, LNCS vol. 224, Springer-Verlag, 1986.","DOI":"10.1007\/BFb0027047"}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:32:09Z","timestamp":1586568729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0027290","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}