Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets. - Shabnam Pasandideh; Luís Gomes 001; Pedro Maló (DoCEIS, 2018)

Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks. - Shabnam Pasandideh; Luís Gomes 001; Pedro Maló (ISIE, 2019)

Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. - Shabnam Pasandideh; Pedro Pereira 001; Luís Gomes 001 (IECON, 2022)

Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities. - Shabnam Pasandideh; Pedro Pereira 001; Luís Gomes 001 (IEEE Access, 2022)