Andrey Berlizev, Nicolas Guelfi. Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation. In Ivica Crnkovic, Jerzy R. Nawrocki, editors, Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, SEESE '08, Leipzig, Germany, May 13, 2008. pages 23-30, ACM, 2008. [doi]