I. Ruchkin, M. Cleaveland, O. Sokolsky, and I. Lee. Formal Methods in Outer Space, volume 13065 of Lecture Notes in Computer Science, page 137-146. Springer, (2021)
D. Garlan, V. Dwivedi, I. Ruchkin, and B. Schmerl. Large-Scale Complex IT Systems. Development, Operation and Management, volume 7539/2012 of Lecture Notes in Computer Science, page 157-182. http://www.springerlink.com/content/463016jk66675024/, Carnegie Mellon University, Springer, (March 2012)
I. Ruchkin, and V. Prus. Proceedings of the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) 2010, page 20--25. Nizhny Novgorod, Russia, Institute for System Programming of the Russian Academy of Sciences (ISPRAS), Institute for System Programming of the Russian Academy of Sciences (ISPRAS), (June 2010)