. "Embedded Systems"@en . "Petri-Nets"@en . "Fernando" . "Web User Interface"@en . "Modeling"@en . . "Graphical User Interfaces"@en . "290120e5376e0264b1469170b1e48145" . "Supercapacitors"@en . "Data-flow"@en . "Fernando Pereira" . "Petri nets"@en . "Mmodel-Checking"@en . "Bipolar Marx modulator multilevel converter"@en . "Pereira" . "Cloud based tools"@en . "Cyber-physical systems"@en . "Embedded-systems"@en . "Design automation"@en . "Uninterruptible Power Supply"@en .