Formal Methods for Embedded Systems

Information available in German only. See this page.