Prototyping of embedded systems by A.M. Rensink