{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:05Z","timestamp":1740098945686,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668444"},{"type":"electronic","value":"9783319668451"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66845-1_24","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:37:20Z","timestamp":1503747440000},"page":"357-371","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of CNL Health Recommendations"],"prefix":"10.1007","author":[{"given":"Fahrurrozi","family":"Rahman","sequence":"first","affiliation":[]},{"given":"Juliana K\u00fcster Filipe","family":"Bowles","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Carvalho, G.H.P.D.: NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP. Ph.D. thesis (2016)","DOI":"10.1007\/978-3-319-22969-0_20"},{"issue":"2","key":"24_CR2","first-page":"44","volume":"84","author":"H Townsend","year":"2013","unstructured":"Townsend, H.: Natural language processing and clinical outcomes: the promise and progress of NLP for improved care. J. AHIMA 84(2), 44\u201345 (2013)","journal-title":"J. AHIMA"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30080-9_7"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-319-33693-0_24","volume-title":"Integrated Formal Methods","author":"A Kovalov","year":"2016","unstructured":"Kovalov, A., Bowles, J.K.F.: Avoiding medication conflicts for patients with multimorbidities. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 376\u2013390. Springer, Cham (2016). doi: 10.1007\/978-3-319-33693-0_24"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Bowles, J., Bordbar, B., Alwanain, M.: Weaving true-concurrent aspects using constraint solvers. In: Application of Concurrency to System Design (ACSD 2016). IEEE Computer Society Press, June 2016","DOI":"10.1109\/ACSD.2016.19"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Bowles, J.K.F., Caminati, M.B.: Mind the gap: addressing behavioural inconsistencies with formal methods. In: 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE Computer Society (2016)","DOI":"10.1109\/APSEC.2016.051"},{"issue":"5","key":"24_CR8","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1016\/j.jbi.2009.08.007","volume":"42","author":"D Demner-Fushman","year":"2009","unstructured":"Demner-Fushman, D., Chapman, W.W., McDonald, C.J.: What can natural language processing do for clinical decision support? J. Biomed. Inform. 42(5), 760\u2013772 (2009)","journal-title":"J. Biomed. Inform."},{"issue":"6","key":"24_CR9","doi-asserted-by":"crossref","first-page":"e0124653","DOI":"10.1371\/journal.pone.0124653","volume":"10","author":"NH Shah","year":"2015","unstructured":"Shah, N.H., LePendu, P., Bauer-Mehren, A., Ghebremariam, Y.T., Iyer, S.V., Marcus, J., Nead, K.T., Cooke, J.P., Leeper, N.J.: Proton pump inhibitor usage and the risk of myocardial infarction in the general population. PLoSONE 10(6), e0124653 (2015). 10.1371\/journal.pone.0124653","journal-title":"PLoSONE"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1038\/clpt.2013.47","volume":"93","author":"P LePendu","year":"2013","unstructured":"LePendu, P., Iyer, S.V., Bauer-Mehren, A., Harpaz, R., Mortensen, J., Podchiyska, T., Ferris, T.A., Shah, N.H.: Pharmacovigilance using clinical notes. Clin. Pharmacol. Ther. 93, 547\u2013555 (2013). 10.1038\/clpt.2013.47","journal-title":"Clin. Pharmacol. Ther."},{"key":"24_CR11","unstructured":"Polypharmacy Guidance (2nd Edition). Scottish Government Model of Care Polypharmacy Working Group (2015)"},{"issue":"4","key":"24_CR12","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1038\/ajg.2015.51","volume":"110","author":"TD Imler","year":"2015","unstructured":"Imler, T.D., Morea, J., Kahi, C., Cardwell, J., Johnson, C.S., Xu, H., Imperiale, T.F.: Multi-center colonoscopy quality measurement utilizing natural language processing. Am. J. Gastroenterol. 110(4), 543\u2013552 (2015). 10.1038\/ajg.2015.51","journal-title":"Am. J. Gastroenterol."},{"key":"24_CR13","volume-title":"Universals in Linguistic Theory","author":"CJ Fillmore","year":"1968","unstructured":"Fillmore, C.J.: The case for case. In: Bach, E., Harms, R.T. (eds.) Universals in Linguistic Theory. Holt, Rinehart and Winston, London (1968)"},{"issue":"8","key":"24_CR14","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Commun. ACM 21(8), 666\u2013677 (1978). doi: 10.1145\/359576.359585","journal-title":"Commun. ACM"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 \u2014 a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_13"},{"issue":"Part3","key":"24_CR16","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/j.scico.2014.06.007","volume":"95","author":"G Carvalho","year":"2014","unstructured":"Carvalho, G., Falc\u00e3o, D., Barros, F., Sampaio, A., Mota, A., Motta, L., Blackburn, M.: NAT2TEST $$_{SCR}$$ : test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95(Part3), 275\u2013297 (2014). https:\/\/doi.org\/10.1016\/j.scico.2014.06.007","journal-title":"Sci. Comput. Program."},{"key":"24_CR17","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-05416-2_3","volume-title":"Formal Techniques for Safety-Critical Systems","author":"G Carvalho","year":"2013","unstructured":"Carvalho, G., Barros, F., Lapschies, F., Schulze, U., Peleska, J.: Model-based testing from controlled natural language requirements. In: Artho, C., \u00d6veczky, P. (eds.) Formal Techniques for Safety-Critical Systems. CCIS, vol. 419, pp. 19\u201335. Springer, Cham (2013). doi: 10.1007\/978-3-319-05416-2_3"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-319-29473-5_11","volume-title":"Formal Methods: Foundations and Applications","author":"BCF Silva","year":"2016","unstructured":"Silva, B.C.F., Carvalho, G., Sampaio, A.: Test case generation from natural language requirements using CPN simulation. In: Corn\u00e9lio, M., Roscoe, B. (eds.) SBMF 2015. LNCS, vol. 9526, pp. 178\u2013193. Springer, Cham (2016). doi: 10.1007\/978-3-319-29473-5_11"},{"issue":"2","key":"24_CR19","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/s10579-017-9381-z","volume":"51","author":"T Diamantopoulos","year":"2017","unstructured":"Diamantopoulos, T., Roth, M., Symeonidis, A., Klein, E.: Software requirements as an application domain for natural language processing. Lang. Resour. Eval. 51(2), 495\u2013524 (2017)","journal-title":"Lang. Resour. Eval."},{"issue":"2","key":"24_CR20","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/s10703-012-0177-x","volume":"43","author":"G Norman","year":"2013","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2), 164\u2013190 (2013)","journal-title":"Formal Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T16:51:53Z","timestamp":1570035113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}