Locating crosscutting concerns in the formal specification of distributed reactive systems | Publicación