Developing a TTCN-3 Test Harness for Legacy Software. - Joseph C. Okika; Anders P. Ravn; Zhiming Liu 001; Lokesh Siddalingaiah (AST, 2006)

Modelling with Relational Calculus of Object and Component Systems - rCOS. - Zhenbang Chen; Abdelhakim Hannousse; Dang Van Hung; Istvan Knoll; Xiaoshan Li; Zhiming Liu 001; Yang Liu; Qu Nan; Joseph C. Okika; Anders P. Ravn; Volker Stolz; Lu Yang; et al. (CoCoME, 2007)

Classification of SOA Contract Specification Languages. - Joseph C. Okika; Anders P. Ravn (ICWS, 2008)

On the Specification of Full Contracts. - Stephen Fenech; Gordon J. Pace; Joseph C. Okika; Anders P. Ravn; Gerardo Schneider (FESCA@ETAPS, 2009)