Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan. A Two-Way Path Between Formal and Informal Design of Embedded Systems. In Jonathan P. Bowen, Huibiao Zhu, editors, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Volume 10134 of Lecture Notes in Computer Science, pages 65-92, Springer, 2016. [doi]
Abstract is missing.