Real-time Systems Safety Control Considering Human Machine Interface.

Jos Machado, Eurico Seabra

Browse the full ICINCO paper archive.