For the complete article check the link in the links section.
Emergency management benefits from techniques such as the eCall that allow an automatic transmission of vehicle data and location to initiate response operations in case of an accident. Such operations may comprise the deployment of ambulances and recovery vehicles. Based on available data one can decide on the type of ambulances, police and other recovery vehicles needed, on prioritization in case of multiple events and on strategies for an efficient management of available resources. Automatically handling these constraints which can go beyond traditional database operations and deriving decisions is a challenging problem. In this paper, we describe how our existing spatio-temporal description and reasoning framework based on formal methods can be used to facilitate decisions in emergency recovery situations in combination with indexing of available information.