Case study: Modeling a crisis management system using the AMoDE-RT approach and DERAF | IEEE Conference Publication | IEEE Xplore