H. Xiong, P. Curzon, S. Tahar, и A. Blandford. Formal Methods in System Design, 30 (2):
83--116(апреля 2007)The original publication is available at www.springerlink.com.
R. s\.enas, P. Curzon, и A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (июля 2007)