Runtime Support for Type-Safe and Context-Based Behavior Adaptation | IEEE Conference Publication | IEEE Xplore