{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:07:46Z","timestamp":1729678066793,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/iecon.2012.6389402","type":"proceedings-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:15:46Z","timestamp":1357168546000},"page":"3107-3112","source":"Crossref","is-referenced-by-count":4,"title":["Developing an ROV software control architecture: A formal specification approach"],"prefix":"10.1109","author":[{"given":"Fabio Henrique","family":"de Assis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio Kawaoka","family":"Takase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Newton","family":"Maruyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Eigi","family":"Miyagi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Combination and Implementation of Processes and Data from CSP-OZ to Java","year":"2000","author":"fischer","key":"19"},{"journal-title":"High Integrity Software The SPARK Approach to Safety and Security","year":"2006","author":"barnes","key":"17"},{"journal-title":"SPARK Examiner - The SPARK Ravenscar Profile","year":"2006","key":"18"},{"journal-title":"Introduction to AI Robotics","year":"2000","author":"murphy","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0021-4"},{"key":"16","first-page":"200","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"SFM"},{"key":"13","article-title":"Jassda trace assertions, runtime checking the dynamic of java programs systems","author":"brorkens","year":"2002","journal-title":"Proceedings of the International Conference on Testing of Communicating Systems"},{"journal-title":"Failures-Divergence Refinement F DR2 User Manual","year":"2005","author":"systems","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0042-7"},{"key":"12","first-page":"342","article-title":"Beyond assertions: Advanced specification and verification with jml and esc\/java2","author":"chalin","year":"2005","journal-title":"FMCO"},{"journal-title":"Ada for Specification Possibilities and Limitations","year":"1985","author":"goldsack","key":"21"},{"key":"20","article-title":"Ada 2005 for mission-critical systems","author":"ruiz","year":"2006","journal-title":"Adacore Report"},{"journal-title":"Programming in Ada 3rd Ed","year":"1989","author":"barnes","key":"22"},{"journal-title":"Checagem de Arquiteturas de Controle de Vefculos Submarinos Uma Abordagem Baseada em Especificac?o?es Formais (In Portuguese)","year":"2009","author":"de assis","key":"23"},{"key":"24","article-title":"GCSP: A graphical tool for designing CSP systems","author":"jovanovic","year":"2004","journal-title":"Communicating Process Architectures 2004"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0851-1_17"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2001.991513"},{"key":"27","first-page":"1","article-title":"De CSPz para CSPm: Uma ferramenta transformacional Java (in Portuguese)","author":"mota","year":"2001","journal-title":"Workshop de Sistemas Formais In Workshop de Metodos Formais"},{"key":"28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/997119.997120","article-title":"Guide for the use of the ada ravenscar profile in high integrity systems","volume":"24","author":"burns","year":"2004","journal-title":"Ada Lett"},{"key":"29","first-page":"68","article-title":"High integrity ravenscar","author":"arney","year":"2003","journal-title":"Ada-Europe"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"3"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A calculus of communicating systems","volume":"92","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/11499909_7"},{"journal-title":"Formal Object-oriented Specification Using Object-z Ser Cornestones of Computing","year":"2000","author":"duke","key":"7"},{"journal-title":"Using Z Specification Refinement and Proof","year":"1996","author":"woodcock","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-011-9625-x"},{"journal-title":"Systematic Software Development Using VDM (2 Ed )","year":"1991","author":"jones","key":"5"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2007.357128"},{"journal-title":"The Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.08.047"},{"key":"8","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","article-title":"CSP-OZ: A combination of object-Z and CSP","author":"fischer","year":"1997","journal-title":"FMOODS '97 Proceedings of the IFIP TC6 WG6 I International Workshop on Formal Methods for Open Object-based Distributed Systems"}],"event":{"name":"IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2012,10,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,10,28]]}},"container-title":["IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6373889\/6388505\/06389402.pdf?arnumber=6389402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T17:16:18Z","timestamp":1562519778000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6389402\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/iecon.2012.6389402","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}