{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:04:19Z","timestamp":1730275459282,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/isorcw.2011.46","type":"proceedings-article","created":{"date-parts":[[2011,4,26]],"date-time":"2011-04-26T10:38:05Z","timestamp":1303814285000},"page":"63-71","source":"Crossref","is-referenced-by-count":5,"title":["An Invariant Preserving Transformation for PLC Models"],"prefix":"10.1109","author":[{"given":"Jan Olaf","family":"Blech","sequence":"first","affiliation":[]},{"given":"Anton","family":"Hattendorf","sequence":"additional","affiliation":[]},{"given":"Jia","family":"Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_26"},{"key":"ref11","article-title":"Verification of Sequential Function Charts using SMV","author":"bornot","year":"2000","journal-title":"Parallel and Distributed Processing Techniques and Applications"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629347"},{"key":"ref13","article-title":"Prototyping of Distributed Embedded Systems Using AADL","author":"chkouri","year":"2009","journal-title":"Model Based Architecting and Construction of Embedded Systems ACES-MB"},{"journal-title":"Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation Graph and Model Transformation","year":"2005","author":"ehrig","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.75414"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384313"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"journal-title":"Proofs and Proof Transformations for Object-Oriented Programs","year":"2009","author":"nordio","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_22"},{"journal-title":"Certifying System Translations Using Higher Order Theorem Provers","year":"2009","author":"blech","key":"ref6"},{"key":"ref5","article-title":"Compositional Verification for Component-Based Systems and Application","volume":"5311","author":"bensalem","year":"0","journal-title":"Automated Technology for Verification and Analysis"},{"journal-title":"Towards a Property Preserving Transformation from IEC 61131–3 to BIP","year":"2010","author":"blech","key":"ref8"},{"key":"ref7","article-title":"Certifying Compilers Using Higher Order Theorem Provers as Certificate Checkers","author":"blech","year":"2010","journal-title":"Formal Methods in System Design"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MESA.2008.4735652"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2220336.2220346"},{"key":"ref20","article-title":"Translation Validation","volume":"1384","author":"pnueli","year":"0","journal-title":"Tools and Algorihtms for the Construction and Analysis of Systems"},{"journal-title":"Programmable controllers - Part 3 Programming languages IEC 61131–3","year":"1993","key":"ref21"}],"event":{"name":"2011 IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops","start":{"date-parts":[[2011,3,28]]},"location":"Newport Beach, CA, USA","end":{"date-parts":[[2011,3,31]]}},"container-title":["2011 14th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5752889\/5753504\/05753513.pdf?arnumber=5753513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:15:29Z","timestamp":1490084129000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5753513\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/isorcw.2011.46","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}