"RGITL: A temporal logic framework for compositional reasoning about ..."

Gerhard Schellhorn et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics