Behavioral adaptation of component compositions based on process algebra encodings | Publicación