Markus Lumpe Lars Grunske Jean-Guy Schneider State Space Reduction Techniques for Component Interfaces. 130-145 2008 CBSE http://dx.doi.org/10.1007/978-3-540-87891-9_9 conf/cbse/2008 db/conf/cbse/cbse2008.html#LumpeGS08