Agent-Oriented Modelling of Real-Time Systems for Critical Events Conference Paper uri icon