Title: Static resource models for code generation of embedded processors