North-Holland (Amsterdam)
Specification and Analysis of Embedded Systems

Mauw, S., & Reniers, M. (2001). A process algebra for interworkings. In Handbook of Process Algebra (pp. 1269–1327). North-Holland (Amsterdam).