{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:40:43Z","timestamp":1742989243800,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319077246"},{"type":"electronic","value":"9783319077253"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07725-3_42","type":"book-chapter","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T10:53:57Z","timestamp":1400237637000},"page":"415-426","source":"Crossref","is-referenced-by-count":0,"title":["The Semantics of Refinement Chart"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/298595.298856","volume-title":"Proceedings of the Second Workshop on Formal Methods in Software Practice, FMSP 1998","author":"S.P. Miller","year":"1998","unstructured":"Miller, S.P.: Specifying the mode logic of a flight guidance system in CoRE and SCR. In: Proceedings of the Second Workshop on Formal Methods in Software Practice, FMSP 1998, pp. 44\u201353. ACM, New York (1998)"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)","DOI":"10.1007\/BFb0027227"},{"key":"42_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5260-6","volume-title":"Using Event-B for Critical Device Software Systems","author":"N.K. Singh","year":"2013","unstructured":"Singh, N.K.: Using Event-B for Critical Device Software Systems. Springer, Heidelberg (2013)"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"M\u00e9ry, D., Singh, N.K.: Formal specification of medical systems by proof-based refinement. ACM Trans. Embed. Comput. Syst.\u00a012(1), 15:1\u201315:25 (2013)","DOI":"10.1145\/2406336.2406351"},{"key":"42_CR5","unstructured":"Butler, R.W.: An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot. NASA Technical Memorandum 110255, NASA Langley Research Center, Hampton, VA (May 1996)"},{"issue":"12","key":"42_CR6","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Mok, A.K.: Modechart: A specification language for real-time systems. IEEE Trans. Softw. Eng.\u00a020(12), 933\u2013947 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"42_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/B:TIME.0000016129.97430.c6","volume":"26","author":"J. Real","year":"2004","unstructured":"Real, J., Crespo, A.: Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Syst.\u00a026(2), 161\u2013197 (2004)","journal-title":"Real-Time Syst."},{"key":"42_CR8","first-page":"287","volume-title":"Proceedings of the Second International Workshop on Responsive Computer Systems","author":"G. Fohler","year":"1992","unstructured":"Fohler, G.: Realizing changes of operational modes with a pre run-time scheduled hard real-time system. In: Proceedings of the Second International Workshop on Responsive Computer Systems, pp. 287\u2013300. Springer, Heidelberg (1992)"},{"key":"42_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-642-10373-5_31","volume-title":"Formal Methods and Software Engineering","author":"F.L. Dotti","year":"2009","unstructured":"Dotti, F.L., Iliasov, A., Ribeiro, L., Romanovsky, A.: Modal systems: Specification, refinement and realisation. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 601\u2013619. Springer, Heidelberg (2009)"},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"Smith, D.R.: Generating programs plus proofs by refinement. In: Meyer, B., Woodcock, J. (eds.) Verified Software 2005. LNCS, vol.\u00a04171, pp. 182\u2013188. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-69149-5_20"},{"key":"42_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-53162-9_29","volume-title":"Algebraic and Logic Programming","author":"H. Walters","year":"1990","unstructured":"Walters, H.: Hybrid implementations of algebraic specifications. In: Kirchner, H., Wechler, W. (eds.) ALP 1990. LNCS, vol.\u00a0463, pp. 40\u201354. Springer, Heidelberg (1990)"},{"issue":"3","key":"42_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program.\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07725-3_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T22:03:08Z","timestamp":1582408988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07725-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077246","9783319077253"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07725-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}