Agent-Oriented Modelling of Real-Time Systems for Critical Events | IEEE Conference Publication | IEEE Xplore