Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation

The benefits of our approach are illustrated by a concrete and practical example: the adaptation of services to a plain old telephone service specification.