Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems.

Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar

Browse the full RTAS paper archive.