{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:39:15Z","timestamp":1729640355959,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/bibe.2012.6399700","type":"proceedings-article","created":{"date-parts":[[2013,1,7]],"date-time":"2013-01-07T21:34:59Z","timestamp":1357594499000},"page":"19-24","source":"Crossref","is-referenced-by-count":2,"title":["Medical guidelines reconciling medical software and electronic devices: Imatinib case-study"],"prefix":"10.1109","author":[{"given":"Alena","family":"Simalatsar","sequence":"first","affiliation":[]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"36","article-title":"Model checking revisited","author":"kupferman","year":"1997","journal-title":"Proceedings of the 9th International Conference on Computer Aided Verification CAV '97"},{"key":"17","first-page":"389","article-title":"Using scenarios in chronic disease management guidelines for primary care","author":"johnson","year":"2000","journal-title":"Proceedings of American Medical Informatics Association(AMIA) Symposium"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038667"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.019"},{"journal-title":"Facilitating Knowledge Maintenance of Clinical Guidelines and Protocols","year":"2004","author":"fieschi","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1067\/mcp.2003.22"},{"key":"14","first-page":"4","article-title":"Multi-level verification of clinical protocols","author":"duftschmid","year":"1998","journal-title":"Proceedings of the Workshop on Validation Verification of Knowledge-Based Systems (VV98) in Conjunction with the Sixth International Conference on Principles of Knowledge Representation and Reasoning KR98"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2004.04.002"},{"key":"12","first-page":"28","article-title":"A guideline management system","volume":"107","author":"ciccarese","year":"2004","journal-title":"Stud Health Technol Inform"},{"key":"21","first-page":"9","author":"miksch","year":"1997","journal-title":"Asbru A Task-specific Intention-based and Time-oriented Language for Representing Skeletal Plans"},{"key":"20","first-page":"21","article-title":"Therapeutic monitoring of vancomycin in adult patients: A consensus review of the american society of health-system pharmacists, the infectious diseases society of america, and the society of infectious diseases pharmacists","volume":"31","author":"martin","year":"2010","journal-title":"American Journal of Health System Pharmacy AJHP Official Journal of the American Society of HealthSystem Pharmacists"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1197\/jamia.M1444"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/EMBC.2012.6347135"},{"key":"24","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1186\/1472-6947-6-20","article-title":"Evaluation of PROforma as a language for implementing medical guidelines in a practical context","volume":"6","author":"sutton","year":"2006","journal-title":"BMC Medical Informatics and Decision Making"},{"key":"25","first-page":"101","article-title":"The glare approach to clinical guidelines: Main features","author":"terenziani","year":"2004","journal-title":"Studies in Health Technology and Informatics"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1197\/jamia.M2399"},{"key":"27","first-page":"280","article-title":"Modeling data and knowledge in the EON guideline architecture","volume":"10","author":"tu","year":"2001","journal-title":"MEDINFO"},{"key":"28","first-page":"172","article-title":"R.: Tracing the formalization steps of textual guidelines","author":"votruba","year":"2004","journal-title":"Computer-based Support for Clinical Guidelines and Protocols"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.2011.6089917"},{"journal-title":"TIMES Tool","year":"0","key":"3"},{"journal-title":"SMV","year":"0","key":"2"},{"key":"10","first-page":"200","article-title":"A tutorial on Uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems 4th Intl School on Formal Methods for the Design of Computer Communication and Software Systems SFM-RT 2004"},{"journal-title":"SPIN","year":"0","key":"1"},{"key":"7","first-page":"269","article-title":"Code synthesis for timed automata","volume":"9","author":"amnell","year":"2002","journal-title":"Nord J Comput"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"journal-title":"Imatinib","year":"0","key":"5"},{"journal-title":"AGREE Instrument","year":"0","key":"4"},{"key":"9","article-title":"A verification of medical guidelines by model checking - A case study","author":"ba?umler","year":"0","journal-title":"Proc Model Checking Software SPIN 2006"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.beha.2009.10.001"}],"event":{"name":"2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)","start":{"date-parts":[[2012,11,11]]},"location":"Larnaca, Cyprus","end":{"date-parts":[[2012,11,13]]}},"container-title":["2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6387371\/6399636\/06399700.pdf?arnumber=6399700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T05:18:36Z","timestamp":1498022316000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6399700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/bibe.2012.6399700","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}