Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen. Creating a Language for Writing Real-Time Applications for the Internet of Things. In 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. pages 1-20, IEEE, 2022. [doi]
Abstract is missing.