Erik Roland van der Meer Andrzej Wasowski Henrik Reif Andersen Efficient interactive configuration of unbounded modular systems. 409-414 2006 conf/sac/2006 SAC http://doi.acm.org/10.1145/1141277.1141370 db/conf/sac/sac2006.html#MeerWA06