Wolfgang Rosenstiel. Automated synthesis and verification of embedded systems: wishful thinking or reality?. In Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009. IEEE, 2009. [doi]