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)

Semantics for Communicating Actors with Interdependent Real-Time Deadlines. - Istvan Knoll; Anders P. Ravn; Arne Skou (TASE, 2009)