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. Proceedings of Perspectives of System Informatics 2003: 5th International Andrei Ershov Memorial Conference (PSI 5), 1–16.