publication venue for Agent-Oriented Modelling of Real-Time Systems for Critical Events 2005 Welcome Message 2005