2010, Part of book or chapter of book (Dams, D.; Hannemann, U. (ed.), Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever, pp. 142-161)
Fitzgerald, John S.; Larsen, Peter Gorm; Tjell, Simon; Verhoef, Marcel
2007, Article in monograph or in proceedings (Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE), pp. 331-340)
2007, Article in monograph or in proceedings (Sauser, Brian J.; Muller, Gerrit (ed.), Proceedings of the Conference on System Engineering Research - CSER 2007)
2007, Article in monograph or in proceedings (Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks - DSN07, pp. 350-351)