Modeling the adaptation behavior of adaptive embedded systems