Petri nets as supporting formalism within Embedded Systems Co-design | IEEE Conference Publication | IEEE Xplore