Extending Dynamic Software Product Lines with Temporal Constraints | IEEE Conference Publication | IEEE Xplore