Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah. Model Checking Software in Cyberphysical Systems. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1017-1026, IEEE, 2020. [doi]
Abstract is missing.