{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:16Z","timestamp":1750220776111,"version":"3.41.0"},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T00:00:00Z","timestamp":1596412800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["ZA 873\/1-1"],"award-info":[{"award-number":["ZA 873\/1-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["804639"],"award-info":[{"award-number":["804639"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1646383"],"award-info":[{"award-number":["CNS-1646383"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2020,10,31]]},"abstract":"<jats:p>The article addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this article, we propose a novel approach to design controller that (i) guarantees the safety of nonlinear physical systems, (ii) enables safe system restart during runtime, and (iii) allows the use of complex, unverified controllers (e.g., neural networks) that drive the physical systems toward complex specifications. We use abstraction-based controller synthesis approach to design a formally verified controller that provides application and system-level fault tolerance along with safety guarantee. Moreover, our approach is implementable using a commercial-off-the-shelf (COTS) processing unit. To demonstrate the efficacy of our solution and to verify the safety of the system under various types of faults injected in applications and in the underlying real-time operating system (RTOS), we implemented the proposed controller for the inverted pendulum and three degrees-of-freedom (3-DOF) helicopter.<\/jats:p>","DOI":"10.1145\/3407183","type":"journal-article","created":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T23:23:37Z","timestamp":1596497017000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Software Fault Tolerance for Cyber-Physical Systems via Full System Restart"],"prefix":"10.1145","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5452-8850","authenticated-orcid":false,"given":"Pushpak","family":"Jagtap","sequence":"first","affiliation":[{"name":"Technical University of Munich, Arcistrasse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fardin","family":"Abdi","sequence":"additional","affiliation":[{"name":"Uber, Seattle, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Rungger","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Arcistrasse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA and Ludwig Maximilian University of Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Boltzmannstrasse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,8,3]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"2018. Retrieved from https:\/\/github.com\/abditag2\/reset-based-recovery.  2018. Retrieved from https:\/\/github.com\/abditag2\/reset-based-recovery."},{"key":"e_1_2_1_2_1","volume-title":"Retrieved","author":"RTOS.","year":"2018","unstructured":"2018. Free RTOS. Retrieved October 2018 from http:\/\/www.freertos.org. 2018. FreeRTOS. Retrieved October 2018 from http:\/\/www.freertos.org."},{"volume-title":"16-channel, 12-bit PWM Fm+ I2C-bus LED Controller. Retrieved","year":"2018","key":"e_1_2_1_3_1","unstructured":"2018. PCA9685 : 16-channel, 12-bit PWM Fm+ I2C-bus LED Controller. Retrieved October 2018 from https:\/\/goo.gl\/FMnOQT. 2018. PCA9685: 16-channel, 12-bit PWM Fm+ I2C-bus LED Controller. Retrieved October 2018 from https:\/\/goo.gl\/FMnOQT."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2889866"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 9th ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS\u201918)","author":"Abdi F.","year":"2018","unstructured":"F. Abdi , C. Y. Chen , M. Hasan , S. Liu , S. Mohan , and M. Caccamo . 2018. Guaranteed physical security with restart-based design for cyber-physical systems . In Proceedings of the 9th ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS\u201918) . IEEE Press, Piscataway, NJ, 10--21. DOI:https:\/\/doi.org\/10.1109\/ICCPS. 2018 .00010 10.1109\/ICCPS.2018.00010 F. Abdi, C. Y. Chen, M. Hasan, S. Liu, S. Mohan, and M. Caccamo. 2018. Guaranteed physical security with restart-based design for cyber-physical systems. In Proceedings of the 9th ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS\u201918). IEEE Press, Piscataway, NJ, 10--21. DOI:https:\/\/doi.org\/10.1109\/ICCPS.2018.00010"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733561"},{"volume-title":"Proceedings of the 2017 ACM\/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 197--206","author":"Abdi F.","key":"e_1_2_1_7_1","unstructured":"F. Abdi , R. Tabish , M. Rungger , M. Zamani , and M. Caccamo . 2017. Application and system-level software fault tolerance through full system restarts . In Proceedings of the 2017 ACM\/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 197--206 . DOI:https:\/\/doi.org\/10.1145\/3055004.3055012 10.1145\/3055004.3055012 F. Abdi, R. Tabish, M. Rungger, M. Zamani, and M. Caccamo. 2017. Application and system-level software fault tolerance through full system restarts. In Proceedings of the 2017 ACM\/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 197--206. DOI:https:\/\/doi.org\/10.1145\/3055004.3055012"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"volume-title":"Proceedings of the International Workshop on Hybrid Systems: Computation and Control. Springer, 20--35","author":"Asarin E.","key":"e_1_2_1_9_1","unstructured":"E. Asarin , T. Dang , and A. Girard . 2003. Reachability analysis of nonlinear systems using conservative approximation . In Proceedings of the International Workshop on Hybrid Systems: Computation and Control. Springer, 20--35 . DOI:https:\/\/doi.org\/10.1007\/3-540-36580-X_5 10.1007\/3-540-36580-X_5 E. Asarin, T. Dang, and A. Girard. 2003. Reachability analysis of nonlinear systems using conservative approximation. In Proceedings of the International Workshop on Hybrid Systems: Computation and Control. Springer, 20--35. DOI:https:\/\/doi.org\/10.1007\/3-540-36580-X_5"},{"key":"e_1_2_1_10_1","unstructured":"C. Baier and J. P. Katoen. 2008. Principles of Model Checking. MIT press.  C. Baier and J. P. Katoen. 2008. Principles of Model Checking. MIT press."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"e_1_2_1_12_1","volume-title":"Real-Time Systems Symposium. IEEE, 138--148","author":"Bak S.","year":"2014","unstructured":"S. Bak , T. T. Johnson , M. Caccamo , and L. Sha . 2014. Real-time reachability for verified simplex design . In Real-Time Systems Symposium. IEEE, 138--148 . DOI:https:\/\/doi.org\/10.1109\/RTSS. 2014 .21 10.1109\/RTSS.2014.21 S. Bak, T. T. Johnson, M. Caccamo, and L. Sha. 2014. Real-time reachability for verified simplex design. In Real-Time Systems Symposium. IEEE, 138--148. DOI:https:\/\/doi.org\/10.1109\/RTSS.2014.21"},{"key":"#cr-split#-e_1_2_1_13_1.1","doi-asserted-by":"crossref","unstructured":"F. Blanchini and S. Miani. 2008. Set-theoretic Methods in Control. Springer 156--163. DOI:https:\/\/doi.org\/10.1007\/978-0-8176-4606-6 10.1007\/978-0-8176-4606-6","DOI":"10.1007\/978-0-8176-4606-6"},{"key":"#cr-split#-e_1_2_1_13_1.2","doi-asserted-by":"crossref","unstructured":"F. Blanchini and S. Miani. 2008. Set-theoretic Methods in Control. Springer 156--163. DOI:https:\/\/doi.org\/10.1007\/978-0-8176-4606-6","DOI":"10.1007\/978-0-8176-4606-6"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2003.07.007"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.2001.990072"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 6th Conference on Symposium on Opearting Systems Design 8 Implementation","volume":"6","author":"Candea G.","unstructured":"G. Candea , S. Kawamoto , Y. Fujiki , G. Friedman , and A. Fox . 2004. Microreboot\u2014A technique for cheap recovery . In Proceedings of the 6th Conference on Symposium on Opearting Systems Design 8 Implementation , Volume 6 (OSDI\u201904). ACM, 3--3. DOI:https:\/\/doi.org\/10.1145\/3055004.3055012 10.1145\/3055004.3055012 G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. 2004. Microreboot\u2014A technique for cheap recovery. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design 8 Implementation, Volume 6 (OSDI\u201904). ACM, 3--3. DOI:https:\/\/doi.org\/10.1145\/3055004.3055012"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACW.2003.1210217"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.34"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497656"},{"volume-title":"Proceedings of the 9th Workshop on Hot Topics in Operating Systems. 67--72","author":"George C.","key":"e_1_2_1_20_1","unstructured":"C. George and F. Armando . 2003. Crash-only software . In Proceedings of the 9th Workshop on Hot Topics in Operating Systems. 67--72 . C. George and F. Armando. 2003. Crash-only software. In Proceedings of the 9th Workshop on Hot Topics in Operating Systems. 67--72."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 25th International Symposium on Fault-Tolerant Computing. IEEE, 381--390","author":"Huang Y.","year":"1995","unstructured":"Y. Huang , C. Kintala , N. Kolettis , and N. D. Fulton . 1995. Software rejuvenation: Analysis, module and applications . In Proceedings of the 25th International Symposium on Fault-Tolerant Computing. IEEE, 381--390 . DOI:https:\/\/doi.org\/10.1109\/FTCS. 1995 .466961 10.1109\/FTCS.1995.466961 Y. Huang, C. Kintala, N. Kolettis, and N. D. Fulton. 1995. Software rejuvenation: Analysis, module and applications. In Proceedings of the 25th International Symposium on Fault-Tolerant Computing. IEEE, 381--390. DOI:https:\/\/doi.org\/10.1109\/FTCS.1995.466961"},{"volume-title":"Proceedings of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems.","author":"Immler F.","key":"e_1_2_1_22_1","unstructured":"F. Immler , M. Althoff , X. Chen , C. Fan , G. Frehse , N. Kochdumper , Y. Li , S. Mitra , M. S. Tomar , and M. Zamani . 2018. ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics . In Proceedings of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems. F. Immler, M. Althoff, X. Chen, C. Fan, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, M. S. Tomar, and M. Zamani. 2018. ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics. In Proceedings of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems."},{"key":"e_1_2_1_23_1","volume-title":"Retrieved","author":"ARM Inc. 2018. ARM TrustZone.","year":"2018","unstructured":"ARM Inc. 2018. ARM TrustZone. Retrieved October 2018 from https:\/\/www.arm.com\/products\/security-on-arm\/trustzone. ARM Inc. 2018. ARM TrustZone. Retrieved October 2018 from https:\/\/www.arm.com\/products\/security-on-arm\/trustzone."},{"key":"e_1_2_1_24_1","volume-title":"Retrieved","author":"Quanser Inc. 2018. 3 DOF Helicopter.","year":"2018","unstructured":"Quanser Inc. 2018. 3 DOF Helicopter. Retrieved October 2018 from http:\/\/www.quanser.com\/products\/3dof_helicopter. Quanser Inc. 2018. 3 DOF Helicopter. Retrieved October 2018 from http:\/\/www.quanser.com\/products\/3dof_helicopter."},{"key":"e_1_2_1_25_1","volume-title":"Q8 Data Acquisition Board. Retrieved","author":"Quanser Inc. 2018.","year":"2018","unstructured":"Quanser Inc. 2018. Q8 Data Acquisition Board. Retrieved October 2018 from http:\/\/www.quanser.com\/products\/q8. Quanser Inc. 2018. Q8 Data Acquisition Board. Retrieved October 2018 from http:\/\/www.quanser.com\/products\/q8."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_2_1_27_1","unstructured":"Linux Make. 2017. Super Fast Boot of Embedded Linux. Retrieved from https:\/\/www.makelinux.com\/emb\/fastboot\/.  Linux Make. 2017. Super Fast Boot of Embedded Linux. Retrieved from https:\/\/www.makelinux.com\/emb\/fastboot\/."},{"volume-title":"Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems. ACM, 65--74","author":"Mohan S.","key":"e_1_2_1_28_1","unstructured":"S. Mohan , S. Bak , E. Betti , H Yun , L. Sha , and M. Caccamo . 2013. S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems . In Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems. ACM, 65--74 . DOI:https:\/\/doi.org\/10.1145\/2461446.2461456 10.1145\/2461446.2461456 S. Mohan, S. Bak, E. Betti, H Yun, L. Sha, and M. Caccamo. 2013. S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems. In Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems. ACM, 65--74. DOI:https:\/\/doi.org\/10.1145\/2461446.2461456"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"volume-title":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. ACM, 99--104","author":"Rungger M.","key":"e_1_2_1_32_1","unstructured":"M. Rungger and M. Zamani . 2016. SCOTS: A tool for the synthesis of symbolic controllers . In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. ACM, 99--104 . DOI:https:\/\/doi.org\/10.1145\/2883817.2883834 10.1145\/2883817.2883834 M. Rungger and M. Zamani. 2016. SCOTS: A tool for the synthesis of symbolic controllers. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. ACM, 99--104. DOI:https:\/\/doi.org\/10.1145\/2883817.2883834"},{"key":"e_1_2_1_33_1","unstructured":"D. Seto and L. Sha. 1999. An engineering method for safety region development. Technical report. CMU\/SEI-99-TR-018. Software Engineering Institute Carnegie Mellon University. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=13483.  D. Seto and L. Sha. 1999. An engineering method for safety region development. Technical report. CMU\/SEI-99-TR-018. Software Engineering Institute Carnegie Mellon University. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=13483."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829050"},{"key":"e_1_2_1_35_1","first-page":"4","article-title":"Using simplicity to control complexity","volume":"18","author":"Sha L.","year":"2001","unstructured":"L. Sha . 2001 . Using simplicity to control complexity . IEEE Software 18 , 4 (July 2001), 20--28. DOI:https:\/\/doi.org\/10.1109\/MS.2001.936213 10.1109\/MS.2001.936213 L. Sha. 2001. Using simplicity to control complexity. IEEE Software 18, 4 (July 2001), 20--28. DOI:https:\/\/doi.org\/10.1109\/MS.2001.936213","journal-title":"IEEE Software"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings on Aerospace Applications Conference","volume":"1","author":"Sha L.","year":"1996","unstructured":"L. Sha , R. Rajkumar , and M. Gagliardi . 1996. Evolving dependable real-time systems . In Proceedings on Aerospace Applications Conference , Vol. 1 . IEEE, 335--346. DOI:https:\/\/doi.org\/10.1109\/AERO. 1996 .495894 10.1109\/AERO.1996.495894 L. Sha, R. Rajkumar, and M. Gagliardi. 1996. Evolving dependable real-time systems. In Proceedings on Aerospace Applications Conference, Vol. 1. IEEE, 335--346. DOI:https:\/\/doi.org\/10.1109\/AERO.1996.495894"},{"volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","author":"Sontag E. D.","key":"e_1_2_1_37_1","unstructured":"E. D. Sontag . 2013. Mathematical Control Theory: Deterministic Finite Dimensional Systems . Vol. 6 . Springer Science 8 Business Media. DOI:https:\/\/doi.org\/10.1007\/978-1-4612-0577-7 10.1007\/978-1-4612-0577-7 E. D. Sontag. 2013. Mathematical Control Theory: Deterministic Finite Dimensional Systems. Vol. 6. Springer Science 8 Business Media. DOI:https:\/\/doi.org\/10.1007\/978-1-4612-0577-7"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.25"},{"volume-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"Tabuada P.","key":"e_1_2_1_39_1","unstructured":"P. Tabuada . 2009. Verification and Control of Hybrid Systems: A Symbolic Approach . Springer Science 8 Business Media. DOI:https:\/\/doi.org\/10.1007\/978-1-4419-0224-5 10.1007\/978-1-4419-0224-5 P. Tabuada. 2009. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer Science 8 Business Media. DOI:https:\/\/doi.org\/10.1007\/978-1-4419-0224-5"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2005.15"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 69--75","author":"Vivekanandan P.","year":"2016","unstructured":"P. Vivekanandan , G. Garcia , H. Yun , and S. Keshmiri . 2016. A simplex architecture for intelligent and safe unmanned aerial vehicles . In Proceedings of the 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 69--75 . DOI:https:\/\/doi.org\/10.1109\/RTCSA. 2016 .17 10.1109\/RTCSA.2016.17 P. Vivekanandan, G. Garcia, H. Yun, and S. Keshmiri. 2016. A simplex architecture for intelligent and safe unmanned aerial vehicles. In Proceedings of the 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 69--75. DOI:https:\/\/doi.org\/10.1109\/RTCSA.2016.17"},{"key":"e_1_2_1_42_1","first-page":"1","article-title":"Compositional abstraction for networks of control systems: A dissipativity approach","volume":"99","author":"Zamani M.","year":"2017","unstructured":"M. Zamani and M. Arcak . 2017 . Compositional abstraction for networks of control systems: A dissipativity approach . IEEE Transactions on Control of Network Systems PP , 99 (2017), 1 -- 1 . DOI:https:\/\/doi.org\/10.1109\/TCNS.2017.2670330 10.1109\/TCNS.2017.2670330 M. Zamani and M. Arcak. 2017. Compositional abstraction for networks of control systems: A dissipativity approach. IEEE Transactions on Control of Network Systems PP, 99 (2017), 1--1. DOI:https:\/\/doi.org\/10.1109\/TCNS.2017.2670330","journal-title":"IEEE Transactions on Control of Network Systems PP"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-016-0233-6"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3407183","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3407183","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3407183","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:23Z","timestamp":1750200083000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3407183"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,3]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,10,31]]}},"alternative-id":["10.1145\/3407183"],"URL":"https:\/\/doi.org\/10.1145\/3407183","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"type":"print","value":"2378-962X"},{"type":"electronic","value":"2378-9638"}],"subject":[],"published":{"date-parts":[[2020,8,3]]},"assertion":[{"value":"2018-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-08-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}