Automated verification of interactive rule-based configuration systems | IEEE Conference Publication | IEEE Xplore