Newthink - An Orwellian specification language for real-time safety critical systems. - Paul Mukherjee; Victoria Stavridou (RTS, 1992)

The Formal Specification of Safety Requirements for Storing Explosives. - Paul Mukherjee; Victoria Stavridou (Formal Aspects Comput., 1993)

A Semantics for NewSpeak in VDM-SL. - Paul Mukherjee (FME, 1994)

A Theory pf Orwellian Specifications with NewThink. - Paul Mukherjee; Victoria Stavridou (Formal Aspects Comput., 1995)

Computer-aided validation of formal specifications. - Paul Mukherjee (Softw. Eng. J., 1995)

System Refinement in VDM-SL. - Paul Mukherjee (ICECCS, 1996)

Automatic Translation of VDM-SL Specifications into Gofer. - Paul Mukherjee (FME, 1997)

The Ammunition Control System. - Paul Mukherjee; John S. Fitzgerald (Proof in VDM, 1998)

Decomposition in Real-Time Safety-Critical Systems. - Paul Mukherjee; Victoria Stavridou (Real Time Syst., 1998)

Using VDMTools to Model and Validate the Cash Dispenser Example. - Peter Gorm Larsen; Paul Mukherjee; Kim Sunesen (Formal Aspects Comput., 2000)