{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T00:16:07Z","timestamp":1775175367867,"version":"3.50.1"},"reference-count":46,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1109\/indin41052.2019.8972130","type":"proceedings-article","created":{"date-parts":[[2020,1,31]],"date-time":"2020-01-31T00:16:43Z","timestamp":1580429803000},"page":"400-406","source":"Crossref","is-referenced-by-count":27,"title":["Formalization of natural language requirements into temporal logics: a survey"],"prefix":"10.1109","author":[{"given":"Igor","family":"Buzhinsky","sequence":"first","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Finland"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Neural machine translation","author":"koehn","year":"2017"},{"key":"ref38","first-page":"1137","article-title":"A neural probabilistic language model","volume":"3","author":"bengio","year":"2003","journal-title":"Journal of Machine Learning Research"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4573(88)90021-0"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2009.15"},{"key":"ref31","first-page":"311","article-title":"BLEU: a method for automatic evaluation of machine translation","author":"papineni","year":"2002","journal-title":"Annual Meeting of the Associations for Computational Linguistics"},{"key":"ref30","author":"alpaydin","year":"2009","journal-title":"Introduction to Machine Learning"},{"key":"ref37","article-title":"Neural machine translation by jointly learning to align and translate","author":"bahdanau","year":"2014"},{"key":"ref36","first-page":"3104","article-title":"Sequence to sequence learning with neural networks","author":"sutskever","year":"2014","journal-title":"Advances in neural information processing systems"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1038\/323533a0","article-title":"Learning representations by back-propagating errors","volume":"323","author":"rumelhart","year":"1986","journal-title":"Nature"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2014.09.003"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/568438.568455"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018950324254"},{"key":"ref11","first-page":"48","article-title":"Automated analysis of natural language properties for UML models","author":"konrad","year":"2005","journal-title":"Proc Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref14","first-page":"99","article-title":"Structured English for model checking specification","author":"flake","year":"2000","journal-title":"MBMV"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062526"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61073-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384048"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_83"},{"key":"ref19","first-page":"277","article-title":"A theory of truth and semantic representation","author":"kamp","year":"1981","journal-title":"Formal Methods in the Study of Language"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605479"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0452"},{"key":"ref3","first-page":"1342","article-title":"Practical applications of model checking in the Finnish nuclear industry","author":"pakonen","year":"2017","journal-title":"10th International Topical Meeting on Nuclear Plant Instrumentation Control and Human Machine Interface Technologies (NPIC & HMIT)"},{"key":"ref6","first-page":"232","article-title":"UP-PAAL – a tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1995","journal-title":"International Workshop on Hybrid Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815829"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3115\/1073445.1073462"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref2","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819246"},{"key":"ref1","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_3"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2377656.2377659"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICOSC.2015.7050777"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1201\/9781420090512"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_21"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2018.07.001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0334"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0130-7"},{"key":"ref26","article-title":"Sorry Dave, I’m afraid I can’t do that: Explaining unachievable robot tasks using natural language","volume":"2","author":"raman","year":"2013","journal-title":"Robotics Science and Systems"},{"key":"ref43","article-title":"Requirement specifications using natural languages","author":"bures","year":"2012","journal-title":"Technical Report D3S-TR-2012-05"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-010-9199-1"}],"event":{"name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","location":"Helsinki, Finland","start":{"date-parts":[[2019,7,22]]},"end":{"date-parts":[[2019,7,25]]}},"container-title":["2019 IEEE 17th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8961950\/8972012\/08972130.pdf?arnumber=8972130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T18:24:49Z","timestamp":1753813489000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8972130\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/indin41052.2019.8972130","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}