{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:23Z","timestamp":1747806743370},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_14","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T05:36:00Z","timestamp":1212557760000},"page":"181-197","source":"Crossref","is-referenced-by-count":26,"title":["Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM"],"prefix":"10.1007","author":[{"given":"Hugo Daniel","family":"Macedo","sequence":"first","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"John","family":"Fitzgerald","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice-Hall International, Englewood Cliffs (1990), ISBN 0-13-880733-7"},{"key":"14_CR2","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems \u2013 Practical Tools and Techniques in Software Development. Cambridge University Press, The Edinburgh Building (1998), ISBN 0-521-62348-0"},{"key":"14_CR3","volume-title":"Validated Designs for Object\u2013oriented Systems","author":"J. Fitzgerald","year":"2005","unstructured":"Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object\u2013oriented Systems. Springer, New York (2005)"},{"key":"14_CR4","unstructured":"Fitzgerald, J.S., Larsen, P.G.: Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. In: Margaria, T., Philippou, A., Steffen, B., eds.: Proc. 2nd Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation\u00a0(ISoLA (2007) Also Technical Report CS-TR-999, School of Computing Science, Newcastle University (2007)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11813040_11","volume-title":"FM 2006: Formal Methods","author":"M. Verhoef","year":"2006","unstructured":"Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 147\u2013162. Springer, Heidelberg (2006)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/HASE.2007.32","volume-title":"Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium","author":"J.S. Fitzgerald","year":"2007","unstructured":"Fitzgerald, J.S., Larsen, P.G., Tjell, S., Verhoef, M.: Validation Support for Real-Time Embedded Systems in VDM++. In: Cukic, B., Dong, J. (eds.) Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium, November 2007, pp. 331\u2013340. IEEE, Los Alamitos (2007)"},{"key":"14_CR7","unstructured":"C.S.K.: Development Guidelines for Real Time Systems using VDMTools. Technical report, CSK Systems (2008)"},{"key":"14_CR8","unstructured":"Boston Scientific: Pacemaker system specification. Technical report, Boston Scientific (January 2007), http:\/\/www.cas.mcmaster.ca\/sqrl\/_SQRLDocuments\/PACEMAKER.pdf"},{"issue":"10","key":"14_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/MC.2006.340","volume":"39","author":"J. Woodcock","year":"2006","unstructured":"Woodcock, J.: First Steps in the Verified Software Grand Challenge. Computer\u00a039(10), 57\u201364 (2006)","journal-title":"Computer"},{"key":"14_CR10","doi-asserted-by":"crossref","DOI":"10.1002\/9780470750674","volume-title":"Cardiac Pacing and ICDs","author":"K.A. Ellenbogen","year":"2005","unstructured":"Ellenbogen, K.A., Wood, M.A.: Cardiac Pacing and ICDs, 4th edn. Blackwell, Malden (2005)","edition":"4"},{"key":"14_CR11","unstructured":"Mukherjee, P., Bousquet, F., Delabre, J., Paynter, S., Larsen, P.G.: Exploring Timing Properties Using VDM++ on an Industrial Application. In: Bicarregui, J., Fitzgerald, J. (eds.) Proceedings of the Second VDM Workshop (September 2000), www.vdmportal.org"},{"key":"14_CR12","unstructured":"Larsen, P.G., Hansen, B.S., et al.: Information technology \u2013 Programming languages, their environments and system software interfaces \u2013 Vienna Development Method \u2013 Specification Language \u2013 Part 1: Base language (December 1996)"},{"key":"14_CR13","unstructured":"Overture Group: The VDM Portal (2007), http:\/\/www.vdmportal.org"},{"issue":"5","key":"14_CR14","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1093\/logcom\/8.5.679","volume":"8","author":"K. Lano","year":"1998","unstructured":"Lano, K.: Logic specification of reactive and real-time systems. Journal of Logic and Computation\u00a08(5), 679\u2013711 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR15","unstructured":"Verhoef, M., Larsen, P.G.: Interpreting Distributed System Architectures Using VDM++ \u2013 A Case Study. In: Sauser, B., Muller, G. (eds.) 5th Annual Conference on Systems Engineering Research (March 2007), http:\/\/www.stevens.edu\/engineering\/cser\/"},{"key":"14_CR16","unstructured":"CSK: VDMTools homepage (2007), http:\/\/www.vdmtools.jp\/en\/"},{"key":"14_CR17","unstructured":"Kurita, T., Oota, T., Nakatsugawa, Y.: Formal specification of an embedded IC for cellular phones. In: Proceedings of Software Symposium 2005. Software Engineers Associates of Japan, June 2005, pp. 73\u201380 (in Japanese)"},{"key":"14_CR18","unstructured":"Macedo, H.: Validating and Understanding Boston Scientific Pacemaker Requirements. Master\u2019s thesis, Minho University, Portugal (October 2007)"},{"key":"14_CR19","unstructured":"Macedo, H.: VDM models of the Pacemaker Challenge (2007), http:\/\/www.vdmportal.org\/twiki\/bin\/view\/Main\/PacemakerCaseStudy"},{"key":"14_CR20","unstructured":"S\u00f8rensen, R.A., Nygaard, J.M.: Evaluating Distributed Architectures using VDM++ Real-Time Modelling with a Proof of Concept Implementation. Master\u2019s thesis, Enginering College of Aarhus (December 2007)"},{"key":"14_CR21","unstructured":"Verhoef, M.: Modeling and Validation Distributed Embedded Real-Time Systems. PhD thesis, Radboud University Nijmegen (2008)"},{"key":"14_CR22","volume-title":"Proceedings of the 26 th Annual International Computer Software and Applications Conference (COMPSAC 2002)","author":"A.F. Vilas","year":"2002","unstructured":"Vilas, A.F., Arias, J.J.P., Redondo, R.P.D., Martinez, A.B.B.: Formalizing Incremental Design in Real-time Area: SCTL\/MUS-T. In: Proceedings of the 26 th Annual International Computer Software and Applications Conference (COMPSAC 2002), IEEE, Los Alamitos (2002)"},{"key":"14_CR23","unstructured":"de Boer, F.: CREDO: Modeling and analysis of evolutionary structures for distributed services (2007), http:\/\/www.cwi.nl\/projects\/credo\/"},{"key":"14_CR24","unstructured":"Lecomte, T.: Event B Reference Manual. Technical report, MATISSE\/ClearSy (2001)"},{"issue":"4","key":"14_CR25","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1145\/1109118.1109120","volume":"10","author":"S.M. Suhaib","year":"2005","unstructured":"Suhaib, S.M., Mathaikutty, D.A., Shukla, S.K., Berner, D.: XFM: An Incremental Methodology for Developing Formal Models. ACM Transactions on Design Automation of Electronic Systems\u00a010(4), 589\u2013609 (2005)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"14_CR26","volume-title":"Real Time UML \u2013 Advances in the UML for real-time systems","author":"B.P. Douglas","year":"2004","unstructured":"Douglas, B.P.: Real Time UML \u2013 Advances in the UML for real-time systems, 3rd edn. Addison-Wesley, Reading (2004)","edition":"3"},{"key":"14_CR27","volume-title":"Proceedings of the 2002 Design, Automation and Test in Europe Conference and Exhibition (DATE 2002)","author":"G. Jong de","year":"2002","unstructured":"de Jong, G.: A UML-Based Design Methodology for Real-Time and Embedded Systems. In: Proceedings of the 2002 Design, Automation and Test in Europe Conference and Exhibition (DATE 2002), IEEE, Los Alamitos (2002)"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental Design and Formal Verification with UML\/RT in the FUJABA Real-Time Tool Suite. In: Proceedings of the International Workshop on Specification and vaildation of UML models for Real Time and embedded Systems, SVERTS 2004, UM (2004)","DOI":"10.1145\/1062455.1062601"},{"issue":"1","key":"14_CR29","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1005561.1005563","volume":"13","author":"S. Uchitel","year":"2004","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios. ACM Transactions on Software Engineering and Methodology\u00a013(1), 37\u201385 (2004)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"11","key":"14_CR30","first-page":"1879","volume":"80","author":"J.D. Jing Liu","year":"1892","unstructured":"Jing Liu, J.D., Lutz, R.: Safety analysis of software product lines using state-based modeling. Journal of Systems and Software\u00a080(11), 1879\u2013(1892)","journal-title":"Journal of Systems and Software"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/978-3-540-73210-5_33","volume-title":"Integrated Formal Methods","author":"M. Verhoef","year":"2007","unstructured":"Verhoef, M., Visser, P., Hooman, J., Broenink, J.: Co-simulation of Distributed Embedded Real-Time Control Systems. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol.\u00a04591, pp. 639\u2013658. Springer, Heidelberg (2007)"},{"key":"14_CR32","first-page":"350","volume-title":"Proc. 37th Annual IFIP\/IEEE Intl. Conf. on Dependable Systems and Networks (Supp. Volume)","author":"Z.H. Andrews","year":"2007","unstructured":"Andrews, Z.H., Fitzgerald, J.S., Verhoef, M.: Resilience Modelling through Discrete Event and Continuous Time Co-Simulation. In: Proc. 37th Annual IFIP\/IEEE Intl. Conf. on Dependable Systems and Networks (Supp. Volume), June 2007, pp. 350\u2013351. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"14_CR33","unstructured":"Vermolen, S.: Automatically Discharging VDM Proof Obligations using HOL. Master\u2019s thesis, Radboud University Nijmegen, Computer Science Department (August 2007)"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:09:31Z","timestamp":1605762571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_14","relation":{},"subject":[]}}