Publication [ChenWYZ16] A Two-Way Path Between Formal and Informal Design of Embedded Systems Chen, M.; Wang, S.; Yang, M. and Zhan, N. In UTP, pages 65-92, LNCS 10134, 2016.Downloads: bib
