Title: Prototyping of embedded systems