Sofronie-Stokkermans, V.(2008). Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems (ATR46). SFB/TR 14 AVACS.