{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T19:49:24Z","timestamp":1768420164369,"version":"3.49.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/indin.2017.8104856","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T16:34:58Z","timestamp":1511886898000},"page":"687-694","source":"Crossref","is-referenced-by-count":5,"title":["A framework for runtime verification of industrial process control systems"],"prefix":"10.1109","author":[{"given":"Roope","family":"Savolainen","sequence":"first","affiliation":[]},{"given":"Seppo","family":"Sierla","sequence":"additional","affiliation":[]},{"given":"Tommi","family":"Karhela","sequence":"additional","affiliation":[]},{"given":"Tuomas","family":"Miettinen","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","year":"0","journal-title":"Apros Automation testing with Apros"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3182\/20090705-4-SF-2005.00056"},{"key":"ref33","year":"0"},{"key":"ref32","article-title":"Testing and utilization of loviisa full scope apros model in engineering and development simulator","volume":"10","author":"n\u00e4veri","year":"2010","journal-title":"Proceedings of International Youth Conference on Energy IYNC"},{"key":"ref31","year":"0","journal-title":"Apros Apros references and customer cases"},{"key":"ref30","author":"niemist\u00f6","year":"2000","journal-title":"Layer 3 Specification"},{"key":"ref37","author":"tahvonen","year":"2006","journal-title":"Methods and tools for simulation assisted process automation testing"},{"key":"ref36","year":"0","journal-title":"Simantics SCL Reference"},{"key":"ref35","year":"0","journal-title":"Apros Communication with External Systems"},{"key":"ref34","year":"0","journal-title":"Apros Apros Combustion"},{"key":"ref10","first-page":"29119","article-title":"Software and systems engineering-Software testing-Part 1: Concepts and definitions","year":"2015","journal-title":"ISO\/IEC International Standard"},{"key":"ref40","author":"jeff","year":"2006","journal-title":"Eclipse Rich Client Platform"},{"key":"ref11","author":"kaner","year":"2003","journal-title":"An Introduction to Scenario Testing"},{"key":"ref12","first-page":"29119","article-title":"Software and systems engineering-Software testing-Part 4: Test techniques","year":"2015","journal-title":"ISO\/IEC International Standard"},{"key":"ref13","author":"cockburn","year":"2001","journal-title":"Writing Effective Use Cases"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2003.1319129"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref16","article-title":"Robot Framework. A test automation framework for acceptance testing and acceptance test-driven development","year":"0","journal-title":"Available at robotframework org"},{"key":"ref17","year":"0","journal-title":"JUnit A simple framework to write repeatable tests Introduction"},{"key":"ref18","year":"0","journal-title":"FitNesse The fully integrated standalone wiki and acceptance testing framework"},{"key":"ref19","author":"nagle","year":"2000","journal-title":"Test Automation Frameworks"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MMAR.2015.7284021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622973"},{"key":"ref27","year":"0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281908"},{"key":"ref6","author":"seborg","year":"2010","journal-title":"Process Dynamics and Control"},{"key":"ref29","author":"lehtonen","year":"2007","journal-title":"Ontology-based diagram methods in process modelling and simulation"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6647997"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20010220"},{"key":"ref7","year":"2012","journal-title":"ARIA French ministry of ecology sustainable development and energy"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005185"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4808-1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2012.6389298"},{"key":"ref20","author":"laukkanen","year":"2006","journal-title":"Data-Driven and Keyword-Driven Test Automation Frameworks"},{"key":"ref22","article-title":"An efficient framework for unified automation testing: a case study on software industry","volume":"2","author":"divya","year":"2014","journal-title":"International Journal of Advanced Research in Computer Science & Technology (IJARCST)"},{"key":"ref21","first-page":"27","article-title":"Integrated, effective test design and automation-an integrated approach to test design and automation will help your team create more maintainable and cost-effective test suites, and help you get","volume":"7","author":"kit","year":"1999","journal-title":"Software Development"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.648"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819257"},{"key":"ref23","article-title":"Configurable non-determinism in a closed-loop modelling and verification framework for embedded control systems","author":"patil","year":"2011","journal-title":"IEEE International Conference on Industrial Electronics IECON’ 11"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1142\/S1793962312500043"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2015-0075"}],"event":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","location":"Emden","start":{"date-parts":[[2017,7,24]]},"end":{"date-parts":[[2017,7,26]]}},"container-title":["2017 IEEE 15th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8095148\/8104734\/08104856.pdf?arnumber=8104856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T21:50:03Z","timestamp":1513633803000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8104856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/indin.2017.8104856","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}