Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson. Bridging the Semantic Gap between Abstract Models of Embedded Systems. In Lars Grunske, Ralf Reussner, Frantisek Plasil, editors, Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings. Volume 6092 of Lecture Notes in Computer Science, pages 55-73, Springer, 2010. [doi]
Abstract is missing.