Developing portable embedded software for multicore systems through formal abstraction and refinement
2009 ◽
Vol 129
(2)
◽
pp. 355-365
◽
2010 ◽
Vol 130
(3)
◽
pp. 496-502
2016 ◽
Vol 12
(4)
◽
pp. 1-26
◽