{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:10:42Z","timestamp":1729620642316,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2004.1316704","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"233-240","source":"Crossref","is-referenced-by-count":5,"title":["A concept of an integrated development environment for reactive systems"],"prefix":"10.1109","author":[{"given":"I.","family":"Velikic","sequence":"first","affiliation":[]},{"given":"M.","family":"Popovic","sequence":"additional","affiliation":[]},{"given":"V.","family":"Kovacevic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-47728-4_8","article-title":"An approach to internet-based virtual call center implementation","author":"popovic?","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"17","first-page":"59","article-title":"A formal software verification concept based on automated theorem proving and reverse engineering","author":"popovic","year":"2003","journal-title":"Proceedings of 9th IEEE International Conference on the Engineering of Computer-Based Systems"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1002\/smr.226"},{"year":"0","key":"15"},{"key":"16","first-page":"62","article-title":"Comparative analysis of different finite state machine design and implementations for communication protocols","volume":"3","author":"velikic?","year":"0","journal-title":"Proc of the International Conference on System Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"journal-title":"A Framework-based Approach to Real-time Development with UML I-Logix","year":"0","author":"rinat","key":"14"},{"key":"11","first-page":"195","article-title":"Using SPIN to verify protocols at the implementation level","author":"bull","year":"0","journal-title":"Proceedings of SAICSIT 2002"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2003.1210075"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/151257.151259"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237438"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.1999.779051"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872083"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253435"},{"key":"6","article-title":"Lutess: A specification driven testing environment for synchronous software","author":"du bosquet","year":"0","journal-title":"ACM ICSE'99"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896421"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934021"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1996.507927"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SEEP.1996.533997"}],"event":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","location":"Brno, Czech Republic"},"container-title":["Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9203\/29178\/01316704.pdf?arnumber=1316704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:52Z","timestamp":1497613972000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2004.1316704","relation":{},"subject":[]}}