Guards, Preconditions, and Refinement in Z. - Ralph Miarka; Eerke A. Boiten; John Derrick (ZB, 2000)

Handling Inconsistencies in Z Using Quasi-Classical Logic. - Ralph Miarka; John Derrick; Eerke A. Boiten (ZB, 2002)

Inconsistency and underdefinedness in Z specifications. - Ralph Miarka (2002)

An Update on The Process of Software Retrofit in High-Availability Systems: Uptime Matters - and People Too! [Insights]. - Thomas Ronzon; Veronika Jungwirth; Ralph Miarka; Linda Rising; Cesare Pautasso; Olaf Zimmermann (IEEE Softw., 2025)