Springer
Lecture Notes in Computer Science
Perspectives of system informatics
Specification and Analysis of Embedded Systems

Orzan, S.-M., & van de Pol, J. (2003). Verification of distributed dataspace architectures. In Proceedings of Perspectives of system informatics 2003: 5th international Andrei Ershov memorial conference (PSI 5) (pp. 1–16). Springer.