Springer
Lecture Notes in Computer Science
International Symposium on Formal Methods for Components and Objects
Specification and Analysis of Embedded Systems

Hooman, J., & van de Pol, J. (2003). Equivalent Semantic Models for a Distributed Dataspace Architecture. In Proceedings of Formal Methods for Components and Objects (FMCO 2002) (pp. 1–20). Springer.