Kleine, M. and Sanders, J. (2010). Simulating Truly Concurrent CSP.. UNU/IIST Technical Report. United Nations University, International Institute for Software Technology.

Kleine, M. and Bartels, B. (2010). On Using CSP for the Construction of Concurrent Programs. International Conference on Software Engineering Theory and Practice

Kleine, M. and Göthel, T. (2010). Specifying and Executing Business Process in CSP. Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engeneering

Helke, S. and Kammüller, F. (2010). Formalizing Statecharts using Hierarchical Automata. Archive of Formal Proofs.