_id,doi,title 3836,10.1016/j.scico.2010.06.004,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code