Formalization of an architectural model for exception handling coordination based on CA action concepts - Pereira, David Paulo; Melo, Ana Cristina Vieira de (Science of Computer Programming, 2010)