Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
LibreCat: https://research-explorer.ista.ac.at/record/4512
DOI: 10.1007/3-540-44929-9_38