Static resource models for code-size efficient embedded processors by