M. de Miguel, P. Massonet, J. Silva, and J. Briones. 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), page 563--569. IEEE, (May 2008)
S. Wang, L. Jin, and C. Jin. 2006 10th International Conference on Computer Supported Cooperative Work in Design, page 1--5. Nanjing, China, (May 2006)
A. Shaikh, R. Clarisó, U. Wiil, and N. Memon. Proceedings of the IEEE/ACM international conference on Automated software engineering, page 185--194. New York, NY, USA, ACM, (2010)
M. Galster, A. Eberlein, and M. Moussavi. Systems, Man and Cybernetics, 2009. SMC 2009. IEEE International Conference on, page 2380--2385. (October 2009)
H. Xiong, P. Curzon, S. Tahar, and A. Blandford. Formal Methods in System Design, 30 (2):
83--116(April 2007)The original publication is available at www.springerlink.com.
R. s\.enas, P. Curzon, and A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (July 2007)