{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T08:30:10Z","timestamp":1726389010222},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156533"},{"type":"electronic","value":"9783642156540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15654-0_3","type":"book-chapter","created":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T07:40:26Z","timestamp":1285832426000},"page":"49-60","source":"Crossref","is-referenced-by-count":14,"title":["Real-Time Animation for Formal Specification"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"A Reseach and Development Needs Report by NITRD. High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care, http:\/\/www.nitrd.gov\/About\/MedDevice-FINAL1-web.pdf"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering (2010) (forthcoming book)","DOI":"10.1017\/CBO9781139195881"},{"volume-title":"EATCS Textbook in Computer Science","year":"2007","key":"3_CR3","unstructured":"Bj\u00f8rner, D., Henson, M.C. (eds.): EATCS Textbook in Computer Science. Springer, Heidelberg (2007)"},{"key":"3_CR4","unstructured":"Boston\u00a0Scientific Boston Scientific: Pacemaker\u00a0system specification, Technical\u00a0report (2007)"},{"key":"3_CR5","first-page":"33","volume-title":"Logics of Specification Languages","author":"D. Cansell","year":"2007","unstructured":"Cansell, D., M\u00e9ry, D.: Logics of Specification Languages, pp. 33\u2013140. Springer, Heidelberg (2007); See [3]"},{"issue":"4","key":"3_CR6","first-page":"1","volume":"41","author":"C.A.R. Hoare","year":"2009","unstructured":"Hoare, C.A.R., Misra, J., Leavens, G.T., Shankar, N.: The verified software initiative: A manifesto. ACM Comput. Surv.\u00a041(4), 1\u20138 (2009)","journal-title":"ACM Comput. Surv."},{"key":"3_CR7","unstructured":"IEC, IEC functional safety and IEC 61508: Working draft on functional safety of electrical\/electronic\/programmable electronic safety-related systems (2005)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Writing\u00a0Committee Members, Epstein, A.E., DiMarco, J.P., Ellenbogen, K.A., Estes III, Mark, N.A., Freedman, R.A., Gettes, L.S., Marc Gillinov, A., Gregoratos, G., Hammill, S.C., Hayes, D.L., Hlatky, M.A., Kristin Newby, L., Page, R.L., Schoenfeld, M.H., Silka, M.J., Stevenson, L.W., Sweeney, M.O.: ACC\/AHA\/HRS 2008 Guidelines for Device-Based Therapy of Cardiac Rhythm Abnormalities: Executive Summary: A Report of the American College of Cardiology\/American Heart Association Task Force on Practice Guidelines (Writing Committee to Revise the ACC\/AHA\/NASPE 2002 Guideline Update for Implantation of Cardiac Pacemakers and Antiarrhythmia Devices): Developed in Collaboration With the American Association for Thoracic Surgery and Society of Thoracic Surgeons. Circulation\u00a0117(21), 2820\u20132840 (2008)","DOI":"10.1161\/CIRCUALTIONAHA.108.189741"},{"key":"3_CR9","unstructured":"M\u00e9ry, D., Singh, N.K.: Pacemaker\u2019s Functional Behaviors in Event-B. Research Report (2009), http:\/\/hal.inria.fr\/inria-00419973\/en\/"},{"key":"3_CR10","unstructured":"MIT-BIH Database Distribution and Software, http:\/\/ecg.mit.edu\/index.html"},{"key":"#cr-split#-3_CR11.1","doi-asserted-by":"crossref","unstructured":"Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Tran Van, H.: Early verification and validation of mission critical systems. Electronic Notes in Theoretical Computer Science\u00a0133, 237\u2013254 (2005);","DOI":"10.1016\/j.entcs.2004.08.067"},{"key":"#cr-split#-3_CR11.2","unstructured":"Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)"},{"key":"3_CR12","unstructured":"Project RODIN. Rigorous open development environment for complex systems, 2004\u20132007 (2004), http:\/\/rodin-b-sharp.sourceforge.net\/"},{"key":"3_CR13","volume-title":"Rate-Responsive Pacing Controlled by the TVI Sensor in the Treatment of Sick Sinus Syndrome","author":"M.A. Quiones","year":"2006","unstructured":"Quiones, M.A., Tornes, F., Fayad, Y., Zayas, R., Castro, J., Barbetta, A., Di Gregorio, F.: Rate-Responsive Pacing Controlled by the TVI Sensor in the Treatment of Sick Sinus Syndrome. Springer, Heidelberg (2006)"},{"key":"3_CR14","first-page":"1232","volume-title":"Adobe Flash CS3 professional bible","author":"R. Reinhardt","year":"2007","unstructured":"Reinhardt, R., Dowd, S.: Adobe Flash CS3 professional bible, p. 1232. Wiley, Chichester (2007)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/11955757_28","volume-title":"B 2007","author":"T. Servat","year":"2006","unstructured":"Servat, T.: BRAMA: A New Graphic Animation Tool for B Models. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 274\u2013276. Springer, Heidelberg (2006)"},{"key":"3_CR16","unstructured":"Tran Van, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: IEEE International Conference on Requirements Engineering, pp. 218\u2013228 (2004)"},{"issue":"5","key":"3_CR17","first-page":"661","volume":"13","author":"J. Woodcock","year":"2007","unstructured":"Woodcock, J., Banach, R.: The verification grand challenge. J. UCS\u00a013(5), 661\u2013668 (2007)","journal-title":"J. UCS"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15654-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:11:17Z","timestamp":1606187477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15654-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156533","9783642156540"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15654-0_3","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}