H. Yu, R. Doemer and D. D. Gajski, “Software and Driver Synthesis from Transaction level Models,” Specification to Embedded System Application (Rettberg, Zanella, Rammig, eds.) Springer, 2005, pp. 65-76