{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T05:36:33Z","timestamp":1761975393578,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/sies.2013.6601491","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T22:04:23Z","timestamp":1380146663000},"page":"189-195","source":"Crossref","is-referenced-by-count":8,"title":["A complexity metric for concurrent finite state machine based embedded software"],"prefix":"10.1109","author":[{"family":"Liangpeng Guo","sequence":"first","affiliation":[]},{"given":"Alberto Sangiovanni","family":"Vincentelli","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2488608.2488705"},{"journal-title":"The Art of Software Testing","year":"2011","author":"myers","key":"15"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2011","author":"lee","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795201"},{"journal-title":"Radio Technical Commission for Aeronautics","article-title":"Rtca\/do-178b, software considerations in airborne systems and equipment certification","year":"1992","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016622818771"},{"key":"12","first-page":"1","article-title":"Factor join trees in systems exploration","author":"yang","year":"2011","journal-title":"Proceedings of the 23rd International Conference on Software and Systems Engineering and Their Applications"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/7538.7540"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/75034.75056"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-006-9010-3"},{"key":"7","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1109\/TSE.1987.233475","article-title":"an empirical study of software metrics","volume":"se 13","author":"li","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6","first-page":"304","article-title":"Integrated program measurement and documentation tools","author":"schroeder","year":"1984","journal-title":"Proceedings of the 7th International Conference on Software Engineering"},{"key":"5","first-page":"288","article-title":"Characteristic program complexity measures","author":"elshoff","year":"1984","journal-title":"Proceedings of the 7th International Conference on Software Engineering"},{"key":"4","first-page":"435","article-title":"Model-based identification of fault-prone components","author":"wagner","year":"2005","journal-title":"Proceedings of the 5th European Conference on Dependable Computing"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885872"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-005-1753-8"}],"event":{"name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2013,6,19]]},"location":"Porto","end":{"date-parts":[[2013,6,21]]}},"container-title":["2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589042\/6601457\/06601491.pdf?arnumber=6601491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:09:51Z","timestamp":1602688191000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6601491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/sies.2013.6601491","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}