A VDM++ system to help managing emergency calls, designed with INEM (http://www.inem.pt/CODU) protocols in mind.