A Process Algebra Based Verification of a Production System. - J. J. T. Kleijn; Jacobus E. Rooda; Michel A. Reniers (ICFEM, 1998)

Formalisation of a Production System Modelling Language The operational semantics of c Core. - Victor Bos; J. J. T. Kleijn (Fundam. Informaticae, 2000)

Redesign of a Systems Engineering Language: Formalisation of X. - Victor Bos; J. J. T. Kleijn (Formal Aspects Comput., 2003)

Analysis of an Industrial System. - J. J. T. Kleijn; Michel A. Reniers; Jacobus E. Rooda (Formal Methods Syst. Des., 2003)