Model Based Synthesis of Embedded Software

Samar Abdi, Daniel Gajski, Ines Viskic. Model Based Synthesis of Embedded Software. JSW, 4(7):717-727, 2009. [doi]

Abstract

Abstract is missing.