Synthesis of software programs for embedded control applications
1999 ◽
Vol 18
(6)
◽
pp. 834-849
◽
2009 ◽
Vol 20
(1)
◽
pp. 45-52
2011 ◽
Vol 8
(1)
◽
pp. 79-92