{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:25:16Z","timestamp":1742912716816,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"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_46","type":"book-chapter","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T10:53:57Z","timestamp":1400237637000},"page":"460-471","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing the Glucose Homeostasis Mechanism"],"prefix":"10.1007","author":[{"given":"Neeraj Kumar","family":"Singh","sequence":"first","affiliation":[]},{"given":"Hao","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[]},{"given":"Thomas S. E.","family":"Maibaum","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Wassyng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"46_CR1","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1016\/j.jtbi.2006.04.002","volume":"242","author":"J. Li","year":"2006","unstructured":"Li, J., Kuang, Y., Mason, C.C.: Modeling the glucoseinsulin regulatory system and ultradian insulin secretory oscillations with two explicit time delays. Journal of Theoretical Biology\u00a0242(3), 722\u2013735 (2006)","journal-title":"Journal of Theoretical Biology"},{"issue":"5","key":"46_CR2","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1152\/jappl.1961.16.5.783","volume":"16","author":"V.W. Bolie","year":"1961","unstructured":"Bolie, V.W.: Coefficients of normal blood glucose regulation. Journal of Applied Physiology\u00a016(5), 783\u2013788 (1961)","journal-title":"Journal of Applied Physiology"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Ajmera, I., Swat, M., Laibe, C., Nov\u00e8re, N.L., Chelliah, V.: The impact of mathematical modeling on the understanding of diabetes and related complications. CPT: Pharmacometrics & Systems Pharmacology\u00a02, e54 (2013)","DOI":"10.1038\/psp.2013.30"},{"key":"46_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-53956-5_7","volume-title":"Foundations of Health Information Engineering and Systems","author":"Y. Chen","year":"2014","unstructured":"Chen, Y., Lawford, M., Wang, H., Wassyng, A.: Insulin pump software certification. In: Gibbons, J., MacCaull, W. (eds.) FHIES 2013. LNCS, vol.\u00a08315, pp. 87\u2013106. Springer, Heidelberg (2014)"},{"key":"46_CR5","unstructured":"Center for Devices and Radiological Health: Safety of Marketed Med. Devices, FDA (2006)"},{"key":"46_CR6","unstructured":"A Reseach and Development Needs Report by NITRD: High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care, \n                    \n                      http:\/\/www.nitrd.gov\/About\/MedDevice-FINAL1-web.pdf"},{"issue":"1","key":"46_CR7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/105294100277723","volume":"7","author":"K.L. Keatley","year":"1999","unstructured":"Keatley, K.L.: A review of the fda draft guidance document for software validation: Guidance for industry. Qual. Assur.\u00a07(1), 49\u201355 (1999)","journal-title":"Qual. Assur."},{"issue":"4","key":"46_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"I. Lee","year":"2006","unstructured":"Lee, I., Pappas, G.J., Cleaveland, R., Hatcliff, J., Krogh, B.H., Lee, P., Rubin, H., Sha, L.: High-confidence medical device software and systems. Computer\u00a039(4), 33\u201338 (2006)","journal-title":"Computer"},{"issue":"4","key":"46_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1049\/sej.1993.0025","volume":"8","author":"J. Bowen","year":"1993","unstructured":"Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Software Engineering Journal\u00a08(4), 189\u2013209 (1993)","journal-title":"Software Engineering Journal"},{"key":"46_CR10","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":"46_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-15654-0_3","volume-title":"Complex Systems Design & Management","author":"D. M\u00e9ry","year":"2010","unstructured":"M\u00e9ry, D., Singh, N.K.: Real-time animation for formal specification. In: Aiguier, M., Bretaudeau, F., Krob, D. (eds.) Complex Systems Design & Management, pp. 49\u201360. Springer, Heidelberg (2010)"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"Wassyng, A.: Though this be madness, yet there is method in it? In: Proc. FormaliSE, pp. 1\u20137. IEEE (2013)","DOI":"10.1109\/FormaliSE.2013.6612270"},{"key":"46_CR13","unstructured":"Project RODIN: Rigorous open development environment for complex systems (2004), \n                    \n                      http:\/\/rodin-b-sharp.sourceforge.net\/"},{"key":"46_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A Model Checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"issue":"9","key":"46_CR15","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1177\/0091270007304457","volume":"47","author":"H.E. Silber","year":"2007","unstructured":"Silber, H.E., Jauslin, P.M., Frey, N., Gieschke, R., Simonsson, U.S.H., Karlsson, M.O.: An integrated model for glucose and insulin regulation in healthy volunteers and type 2 diabetic patients following intravenous glucose provocations. The Journal of Clinical Pharmacology\u00a047(9), 1159\u20131171 (2007)","journal-title":"The Journal of Clinical Pharmacology"},{"issue":"5","key":"46_CR16","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1016\/S0006-3495(85)83840-6","volume":"48","author":"T.R. Chay","year":"1985","unstructured":"Chay, T.R., Keizer, J.: Theory of the effect of extracellular potassium on oscillations in the pancreatic beta-cell. Biophysical Journal\u00a048(5), 815 (1985)","journal-title":"Biophysical Journal"},{"key":"46_CR17","doi-asserted-by":"publisher","first-page":"94","DOI":"10.4161\/isl.19569","volume":"4","author":"K. Han","year":"2012","unstructured":"Han, K., Kang, H., Kim, J., Choi, M.: Mathematical models for insulin secretion in pancreatic \u03b2-cells. ISLETS\u00a04, 94\u2013107 (2012)","journal-title":"ISLETS"},{"issue":"2","key":"46_CR18","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s002850050007","volume":"40","author":"A. Gaetano De","year":"2000","unstructured":"De Gaetano, A., Arino, O.: Mathematical modelling of the intravenous glucose tolerance test. Journal of Mathematical Biology\u00a040(2), 136\u2013168 (2000)","journal-title":"Journal of Mathematical Biology"},{"issue":"2","key":"46_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0895-7177(95)00108-E","volume":"22","author":"A. Drozdov","year":"1995","unstructured":"Drozdov, A., Khanina, H.: A model for ultradian oscillations of insulin and glucose. Mathematical and Computer Modelling\u00a022(2), 23 (1995)","journal-title":"Mathematical and Computer Modelling"},{"key":"46_CR20","first-page":"297","volume":"20","author":"M.D. Siperstein","year":"1975","unstructured":"Siperstein, M.D.: The glucose tolerance test: A pitfall in the diagnosis of diabetes mellitus. Adv. Intern. Med.\u00a020, 297\u2013323 (1975)","journal-title":"Adv. Intern. Med."},{"key":"46_CR21","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering (2010)","DOI":"10.1017\/CBO9781139195881"}],"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_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T22:02:14Z","timestamp":1582408934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07725-3_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077246","9783319077253"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07725-3_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}