Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules.

Lee Pike

Browse the full FMCAD paper archive.