Applicability of Formal Synthesis Illustrated via Scheduling (1996)

by Christian Blumenröhr, Dirk Eisenbiegler, R. Kumar