Frank Salger Stefan Sauer Gregor Engels Integrated specification and quality assurance for large business information systems. 129-130 2009 ISEC http://doi.acm.org/10.1145/1506216.1506242 conf/indiaSE/2009 db/conf/indiaSE/isec2009.html#SalgerSE09