"Validating Real-Time Systems by History-Checking TRIO Specifications."

Miguel Felder, Angelo Morzenti (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics