Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand. Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. pages 847-859, IEEE, 2021. [doi]
Abstract is missing.