Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.

Claudio Menghi, Enrico Vigan, Domenico Bianculli, Lionel C. Briand

Browse the full ICSE paper archive.