A Distributed Real-Time Java System Based on CSP. - Gerald H. Hilderink; Andry W. P. Bakkers; Jan F. Broenink (ISORC, 2000)

Graphical modelling language for specifying concurrency based on CSP. - Gerald H. Hilderink (IEE Proc. Softw., 2003)

Exception Handling Mechanism in Communicating Threads for Java. - Gerald H. Hilderink (CPA, 2005)

Managing Complexity of Control Software through Concurrency. - Gerald H. Hilderink (2005)

Software Specification Refinement and Verification Method with I-Mathic Studio. - Gerald H. Hilderink (CPA, 2006)