Petri netsReconfigurable Computing PlatformsModel-drive developmentHardware-software co-designEmbedded SystemsCyber-Physical SystemsLuis GomesLuis GomesL. Gomes, Luís Gomes