Purboday Ghosh, Gabor Karsai. Distributed Cyber Physical Systems Software Model Checking using Timed Automata. In 26th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2023, Nashville, TN, USA, May 23-25, 2023. pages 164-169, IEEE, 2023. [doi]
Abstract is missing.