P. Sastry, P. Krishnaiah, P. Rao, и D. Vathsal. International Journal on Recent and Innovation Trends in Computing and Communication, 3 (1):
264--267(января 2015)
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.