Certia: Certifying Interface Automata for Cyber-Physical Systems.

Cong Sun, Qingsong Yao, Jianfeng Ma

Browse the full SmartComp paper archive.