Dynamic, auto-adaptive software product lines using the ABS language | IEEE Conference Publication | IEEE Xplore