Using microsoft solver foundation to analyse feature models and configurations | IEEE Conference Publication | IEEE Xplore