Andersen, J. H.; Larsen, K. G. Compositional Safety Logics. BRICS 1997, 4.