{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:50:44Z","timestamp":1729662644813,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/mixdes.2015.7208599","type":"proceedings-article","created":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T21:45:09Z","timestamp":1440107109000},"page":"624-627","source":"Crossref","is-referenced-by-count":3,"title":["Logic controller design system supporting UML activity diagrams"],"prefix":"10.1109","author":[{"given":"Michal","family":"Grobelny","sequence":"first","affiliation":[]},{"given":"Iwona","family":"Grobelna","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Uml activity diagram swimlanes in logic controller design","author":"grobelny","year":"2015","journal-title":"Proceedings of Design and Analysis of Control Systems Conference (DACS 2015)"},{"key":"ref11","article-title":"Dynamic Analysis of Petri Net-Based Discrete Systems. Lecture Notes in Control and Information Sciences","volume":"356","author":"karatkevich","year":"2007"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-642-54900-7_52"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/HSI.2014.6860480"},{"key":"ref14","first-page":"523","article-title":"Hierarchical UML activity diagrams into control interpreted petri nets transformation","author":"grobelny","year":"2012","journal-title":"Proceedings of the 19th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2012 MIXDES"},{"key":"ref15","first-page":"47","article-title":"Formal verification of embedded logic controller specification with computer deduction in temporal logic","volume":"87","author":"grobelna","year":"2011","journal-title":"Przeglad Elektrotechniczny"},{"year":"2004","author":"huth","article-title":"Logic in Computer Science. Modelling and Reasoning about Systems","key":"ref16"},{"key":"ref17","first-page":"334","article-title":"The nuXmv symbolic model checker","volume":"8559","author":"cavada","year":"2014","journal-title":"CAV"},{"year":"2011","journal-title":"OMG OMG Unified Modeling Language™ (OMG UML) Superstructure ver 2 4 1 Object Management Group","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref6","first-page":"109","article-title":"Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams","author":"grobelny","year":"2012","journal-title":"Proceedings of 11th IFAC\/IEEE International Conference on Programmable Devices and Embedded Systems – PDeS 2012"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/DATE.2005.320"},{"year":"1999","author":"clarke","article-title":"Model Checking","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/1592434.1592436"},{"key":"ref2","article-title":"Modeling formalisms for embedded system design","author":"gomes","year":"2006","journal-title":"Embedded Systems Handbook"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-1-4419-0504-8"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-540-69850-0_2","article-title":"The beginning of model checking: A personal perspective","volume":"5000","author":"emerson","year":"2008","journal-title":"25 Years of Model Checking"}],"event":{"name":"2015 MIXDES - 22nd International Conference \"Mixed Design of Integrated Circuits & Systems\"","start":{"date-parts":[[2015,6,25]]},"location":"Torun, Poland","end":{"date-parts":[[2015,6,27]]}},"container-title":["2015 22nd International Conference Mixed Design of Integrated Circuits & Systems (MIXDES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7168332\/7208464\/07208599.pdf?arnumber=7208599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T17:01:54Z","timestamp":1567098114000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7208599\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/mixdes.2015.7208599","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}