{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:13:43Z","timestamp":1729638823979,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/etfa.2013.6647997","type":"proceedings-article","created":{"date-parts":[[2013,11,2]],"date-time":"2013-11-02T00:09:46Z","timestamp":1383350986000},"page":"1-8","source":"Crossref","is-referenced-by-count":10,"title":["Industrial evaluation of functional Model-Based Testing for process control applications using CAEX"],"prefix":"10.1109","author":[{"given":"Jukka","family":"Peltola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seppo","family":"Sierla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pekka","family":"Aarnio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kari","family":"Koskinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19"},{"journal-title":"A Systematic Review of ModelBased Testing Tool Support","year":"2010","author":"shafique","key":"17"},{"journal-title":"Model-BasedTesting in Industry-A Case Study with Two MBT Tools","year":"2010","author":"sarma","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.09.022"},{"journal-title":"Model-Based Testing IEEE Software","year":"2012","author":"schieferdecker","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489784"},{"key":"14","article-title":"Computer aideddesign and implementation of interlocking control code","author":"drath","year":"2006","journal-title":"Proc IEEE Int Symp Comput -Aided Control Syst Design (CACSD06)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119280"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638461"},{"journal-title":"Interviews An Introduction to Qualitative Researchinterviewing","year":"1996","author":"kvale","key":"21"},{"year":"0","key":"20"},{"key":"22","article-title":"Challengesin industrial adoption of model-driven technologiesin process control application design","author":"peltola","year":"2011","journal-title":"IEEE Int Conf Industrial Informatics"},{"key":"23","first-page":"141","author":"jeffery","year":"2005","journal-title":"Loop Checking A Technician's Guide ISA-International Society of Automation"},{"year":"0","key":"24"},{"year":"0","key":"25"},{"journal-title":"Domain-specific Template-based VisualLanguage and Tools for Automation Industry","year":"2010","author":"karaila","key":"26"},{"journal-title":"Implementing Conformiq Qtronic LNCS","year":"2007","author":"huima","key":"27"},{"year":"2013","key":"28"},{"year":"2013","key":"29"},{"key":"3","article-title":"A survey on model-based testing approaches: A systematicreview","author":"neto","year":"2007","journal-title":"22nd IEEE\/ACM Int Conf on AutomatedSoftware Engineering"},{"journal-title":"Model-based testing","year":"2006","author":"utting","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICARA.2011.6144856"},{"key":"1","first-page":"81","article-title":"Evolution of a domain-specific language andits engineering environment-lehmans laws revisited","volume":"b 108","author":"karaila","year":"2009","journal-title":"Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM09) Helsinki School of Economics"},{"year":"0","key":"30"},{"journal-title":"Model-based Testing of Real-Timeembedded Systems in the Automotive Domain","year":"2009","author":"zander-nowicka","key":"7"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2011.03.051","article-title":"An overview on test generationfrom functional requirements","volume":"84","author":"escalona","year":"2011","journal-title":"Journal of Systems and Software"},{"key":"5","first-page":"297","author":"utting","year":"2012","journal-title":"A Taxonomy Ofmodel-based Testing Approaches"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68899-0"},{"journal-title":"Model-Based Testing for Embedded Systems","year":"2011","author":"zander","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549620"},{"key":"8","article-title":"UML-based development processfor iec 61499 with automatic test-case generation","author":"hussain","year":"0","journal-title":"ETFA '06 IEEE Conference on"}],"event":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2013,9,10]]},"location":"Cagliari, Italy","end":{"date-parts":[[2013,9,13]]}},"container-title":["2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6636144\/6647927\/06647997.pdf?arnumber=6647997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:18:52Z","timestamp":1498094332000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6647997\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/etfa.2013.6647997","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}