{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T13:15:12Z","timestamp":1765372512977,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,13]]},"DOI":"10.1145\/3761668.3761685","type":"proceedings-article","created":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T07:46:32Z","timestamp":1765352792000},"page":"100-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling of Concurrent State Machine Diagrams using NuSMV"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0685-6606","authenticated-orcid":false,"given":"Nontawit","family":"Markjan","sequence":"first","affiliation":[{"name":"Chulalongkorn University, Computer Engineering, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1765-6105","authenticated-orcid":false,"given":"Nuengwong","family":"Tuaycharoen","sequence":"additional","affiliation":[{"name":"Chulalongkorn University, Computer Engineering, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0457-3474","authenticated-orcid":false,"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Chulalongkorn University, Computer Engineering, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,12,9]]},"reference":[{"key":"e_1_3_3_1_1_2","unstructured":"EECS. 2014. Reading 17: Concurrency. Retrieved from https:\/\/web.mit.edu\/6.005\/www\/fa14\/classes\/17-concurrency\/"},{"key":"e_1_3_3_1_2_2","volume-title":"NuSMV: A new symbolic model checker.","author":"SMV.","year":"2018","unstructured":"NuSMV. NuSMV: A new symbolic model checker. Retrieved from https:\/\/nusmv.fbk.eu\/Chelsea Finn. 2018."},{"key":"e_1_3_3_1_3_2","volume-title":"Concurrency: Overviews and Tutorials","author":"Schneider F. B.","year":"1986","unstructured":"F. B. Schneider and G. R. Andrews. 1986. Concepts for concurrent programming. In Current Trends in Concurrency: Overviews and Tutorials, J. W. de Bakker, W. P. de Roever, and G. Rozenberg (Eds.). Springer, Berlin, Heidelberg, 669\u2013716."},{"key":"e_1_3_3_1_4_2","unstructured":"UML-Diagrams. State Machine Diagrams. Retrieved from https:\/\/www.uml-diagrams.org\/state-machine-diagrams.html"},{"key":"e_1_3_3_1_5_2","unstructured":"Object Management Group. UML 2.5 Specification. Retrieved from https:\/\/www.omg.org\/spec\/UML\/2.5\/PDF"},{"key":"e_1_3_3_1_6_2","unstructured":"Sparx Systems Pty Ltd. UML 2 Tutorial - State Machine Diagram. Retrieved from https:\/\/sparxsystems.com\/resources\/tutorials\/uml2\/state-diagram.html"},{"key":"e_1_3_3_1_7_2","unstructured":"IBM. State Machines. Retrieved from https:\/\/www.ibm.com\/docs\/en\/rsm\/7.5.0?topic=diagrams-state-machines"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2004.1316717"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.04.008"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/KBEI.2015.7436156"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51738-4_3"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.4271\/2021-01-0260"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI-C.2010.11"}],"event":{"name":"ICCMS 2025: 2025 The 17th International Conference on Computer Modeling and Simulation (ICCMS)","location":"Zhuhai China","acronym":"ICCMS 2025"},"container-title":["Proceedings of the 2025 17th International Conference on Computer Modeling and Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3761668.3761685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T11:09:51Z","timestamp":1765364991000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3761668.3761685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":15,"alternative-id":["10.1145\/3761668.3761685","10.1145\/3761668"],"URL":"https:\/\/doi.org\/10.1145\/3761668.3761685","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}