Reusable Support for Task-Based Adaptive Navigation | IEEE Conference Publication | IEEE Xplore