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

Miguel Felder, Angelo Morzenti

Browse the full ICSE paper archive.