Improving Learners' Satisfaction in Specification-Based Scenarios with Dynamic Inclusive Support | IEEE Conference Publication | IEEE Xplore