ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems.

Jon G. Hall, Rogrio de Lemos

Browse the full ECRTS paper archive.