selected publications conference paper State-Based Real-Time Analysis for Function Networks and Marte. . 2015