"Formal verification of user-level real-time property patterns."

Ning Ge, Marc Pantel, Silvano Dal-Zilio (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics