Avatar targets the design of embedded software