On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software. - Dusko S. Jovanovic; Bojan E. Orlic; Jan F. Broenink (CPA, 2005)

Designing dependable process-oriented software - a CSP-based approach. - Dusko S. Jovanovic (2006)

Design support and tooling for dependable embedded control software. - Jan F. Broenink; Christian Kleijn; Peter Gorm Larsen; Dusko S. Jovanovic; Marcel Verhoef; Kenneth Pierce (SERENE, 2010)