{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T07:47:11Z","timestamp":1772264831093,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T00:00:00Z","timestamp":1395619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,3,24]]},"DOI":"10.1145\/2554850.2555028","type":"proceedings-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:30Z","timestamp":1406041710000},"page":"25-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["A model-based architecture for testing medical cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Lenardo C.","family":"Silva","sequence":"first","affiliation":[{"name":"Federal University of Campina Grande, Campina Grande, Brazil"}]},{"given":"Mirko","family":"Perkusich","sequence":"additional","affiliation":[{"name":"Federal University of Campina Grande, Campina Grande, Brazil"}]},{"given":"Frederico M.","family":"Bublitz","sequence":"additional","affiliation":[{"name":"State University of Paraiba, Campina Grande, Brazil"}]},{"given":"Hyggo O.","family":"Almeida","sequence":"additional","affiliation":[{"name":"Federal University of Campina Grande, Campina Grande, Brazil"}]},{"given":"Angelo","family":"Perkusich","sequence":"additional","affiliation":[{"name":"Federal University of Campina Grande, Campina Grande, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2014,3,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ACCU-CHEK\u00ae (Roche)","author":"CHEK.","year":"2008","unstructured":"ACCU- CHEK. ACCU-CHEK Spirit Insulin Pump System: Pump User Guide . ACCU-CHEK\u00ae (Roche) , May . 2008 . ACCU-CHEK. ACCU-CHEK Spirit Insulin Pump System: Pump User Guide. ACCU-CHEK\u00ae (Roche), May. 2008."},{"issue":"1","key":"e_1_3_2_1_2_1","first-page":"s5","article-title":"and classification of diabetes mellitus","volume":"27","author":"Diagnosis DA.","year":"2004","unstructured":"A DA. Diagnosis and classification of diabetes mellitus . Diabetes Care , 27 ( 1 ): s5 -- s10 , Jan. 2004 . American Diabetes Association (ADA). ADA. Diagnosis and classification of diabetes mellitus. Diabetes Care, 27(1): s5--s10, Jan. 2004. American Diabetes Association (ADA).","journal-title":"Diabetes Care"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . Actors: a model of concurrent computation in distributed systems . MIT Press , Cambridge, MA, USA , 1986 . G. Agha. Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge, MA, USA, 1986."},{"key":"e_1_3_2_1_4_1","unstructured":"ASTM International. STAM F2761-2009. Medical Devices and Medical Systems -- Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE) Part 1: General Requirements and Conceptual Model 2009.  ASTM International. STAM F2761-2009. Medical Devices and Medical Systems -- Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE) Part 1: General Requirements and Conceptual Model 2009."},{"key":"e_1_3_2_1_5_1","volume-title":"Process control: modeling, design, and simulation","author":"Bequette B. W.","year":"2003","unstructured":"B. W. Bequette , editor. Process control: modeling, design, and simulation . Prentice Hall , 2003 . B. W. Bequette, editor. Process control: modeling, design, and simulation. Prentice Hall, 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5414\/CP201484"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jacc.2006.09.020"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1097\/HJH.0b013e3282f25b5a"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.4158\/EP.17.2.287"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161241"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_13_1","volume-title":"A Cyber-Physical Systems Approach.","author":"Lee E. A.","year":"2011","unstructured":"E. A. Lee and S. A. Seshia . Introduction to Embedded Systems , A Cyber-Physical Systems Approach. 2011 . ISBN 978-0-557-70857-4. E. A. Lee and S. A. Seshia. Introduction to Embedded Systems, A Cyber-Physical Systems Approach. 2011. ISBN 978-0-557-70857-4."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837463"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165270"},{"key":"e_1_3_2_1_16_1","first-page":"187","volume-title":"Evidence-based physical diagnosis","author":"McGee S. R.","year":"2007","unstructured":"S. R. McGee . Evidence-based physical diagnosis , chapter Respiratory Rate and Abnormal Breathing Patterns, pages 187 -- 202 . Saunders Elsevier , St . Louis, 2 edition, 2007 . S. R. McGee. Evidence-based physical diagnosis, chapter Respiratory Rate and Abnormal Breathing Patterns, pages 187--202. Saunders Elsevier, St. Louis, 2 edition, 2007."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110363.2110473"},{"key":"e_1_3_2_1_18_1","volume-title":"The fourth report on the diagnosis, evaluation, and treatment of high blood pressure in children and adolescents. Pediatrics, 114(Supplement 2): 555--576","author":"NHBPEP.","year":"2004","unstructured":"NHBPEP. The fourth report on the diagnosis, evaluation, and treatment of high blood pressure in children and adolescents. Pediatrics, 114(Supplement 2): 555--576 , 2004 . NHBPEP. The fourth report on the diagnosis, evaluation, and treatment of high blood pressure in children and adolescents. Pediatrics, 114(Supplement 2): 555--576, 2004."},{"key":"e_1_3_2_1_19_1","volume-title":"Model-driven safety analysis of closed-loop medical systems","author":"Pajic M.","year":"2012","unstructured":"M. Pajic , R. Mangharam , O. Sokolsky , D. Arney , J. Goldman , and I. Lee . Model-driven safety analysis of closed-loop medical systems , 2012 . M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman, and I. Lee. Model-driven safety analysis of closed-loop medical systems, 2012."},{"key":"e_1_3_2_1_20_1","volume-title":"Oct.","author":"PHYSIONET.","year":"2012","unstructured":"PHYSIONET. MIMIC II Databases. <http:\/\/physionet.org\/mimic2> ., Oct. 2012 . PHYSIONET. MIMIC II Databases. <http:\/\/physionet.org\/mimic2>., Oct. 2012."},{"key":"e_1_3_2_1_21_1","volume-title":"The ptolemy project: heterogeneous, modeling and design","author":"Berkeley UC","year":"2012","unstructured":"UC Berkeley . The ptolemy project: heterogeneous, modeling and design , 2012 . UC Berkeley. The ptolemy project: heterogeneous, modeling and design, 2012."}],"event":{"name":"SAC 2014: Symposium on Applied Computing","location":"Gyeongju Republic of Korea","acronym":"SAC 2014","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 29th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555028","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2554850.2555028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:03Z","timestamp":1750232103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,24]]},"references-count":21,"alternative-id":["10.1145\/2554850.2555028","10.1145\/2554850"],"URL":"https:\/\/doi.org\/10.1145\/2554850.2555028","relation":{},"subject":[],"published":{"date-parts":[[2014,3,24]]},"assertion":[{"value":"2014-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}