Separation of concerns is an important factor in the development of complex software systems. Being able to reason about system concerns in isolation and compose them to a whole are key elements for succeeding with the ...