{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:06:54Z","timestamp":1760828814940,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2005.1570729","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"3978-3983","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Behavioral Substitutability in Object-Oriented Models for Industrial Controllers"],"prefix":"10.1109","author":[{"given":"M.","family":"Bonfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Fantuzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Secchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Doing Hard Time Developing Real-Time Systems with UML Objects Frameworks and Patterns","year":"1999","author":"douglass","key":"17"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"16","first-page":"111","article-title":"Automated temporal reasoning about reactive systems","author":"allen emerson","year":"1996","journal-title":"ser LNCS"},{"key":"13","article-title":"The SMV language, Cadence Berkeley Labs., 2001","author":"mcmillan","year":"1999","journal-title":"Addison St"},{"key":"14","first-page":"516","article-title":"MOCHA: Modularity in model checking","author":"alur","year":"1998","journal-title":"ser LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.708566"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1145\/62139.62141","article-title":"Data abstraction and hierarchy","volume":"23","author":"liskov","year":"1988","journal-title":"ACM SIGPLAN Notices"},{"year":"0","key":"3"},{"journal-title":"Public Available Specification","article-title":"IEC 61499-1. Function Blocks for Industrial Process Measurement and Control - Part 1: Architecture","year":"2000","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1033228"},{"year":"0","key":"7"},{"journal-title":"Real-Time Object-Oriented Modeling","year":"1994","author":"selic","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417411"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"}],"event":{"name":"2005 IEEE International Conference on Robotics and Automation","location":"Barcelona, Spain"},"container-title":["Proceedings of the 2005 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10495\/33250\/01570729.pdf?arnumber=1570729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T22:30:21Z","timestamp":1497652221000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1570729\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/robot.2005.1570729","relation":{},"subject":[]}}