Andreas Bollin Maintaining Formal Specifications - Decomposition of Large Z-Specifications. 443-452 2005 conf/icsm/2005 ICSM http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.60 db/conf/icsm/icsm2005.html#Bollin05