Towards an analysis-driven rapid design process for cyber-physical systems. - Zsolt Lattmann; James Klingler; Patrik Meijer; Jason Scott; Sandeep Neema; Ted Bapty; Gabor Karsai (RSP, 2015)

Abstractions for Modeling Complex Systems. - Zsolt Lattmann; Tamás Kecskés; Patrik Meijer; Gabor Karsai; Péter Völgyesi; Ákos Lédeczi (ISoLA (2), 2016)

Demo: a design studio for verification tools. - Tamás Kecskés; Patrik Meijer; Taylor T. Johnson; Marcus Lucas (DESTION@CPSIoTWeek, 2019)

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. - Stephen A. Rees; Tamás Kecskés; Patrik Meijer; Taylor T. Johnson; Katie Dey; Paulo Tabuada; Marcus Lucas (ICCPS, 2019)

Deriving Cyber-security Requirements for Cyber Physical Systems. - Robert Laddaga; Paul Robertson 001; Howard E. Shrobe; Dan Cerys; Prakash Manghwani; Patrik Meijer (CoRR, 2019)

Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. - Patrik Meijer; Nag Mahadevan; Mark Wutka; Gabor Karsai (MoDELS (Companion), 2024)